chore: add encryption tools
This commit is contained in:
parent
6e72e0ccff
commit
f77175307f
6 changed files with 72 additions and 15 deletions
16
.devfiles/scripts/fetch_gh_release.sh
Executable file
16
.devfiles/scripts/fetch_gh_release.sh
Executable file
|
|
@ -0,0 +1,16 @@
|
|||
#!/usr/bin/env bash
|
||||
|
||||
set -euxo pipefail
|
||||
|
||||
basedir=".devfiles/bin"
|
||||
|
||||
repo="$1"
|
||||
shift
|
||||
release_filename="$1"
|
||||
shift
|
||||
out_filename="$basedir/$1"
|
||||
shift
|
||||
|
||||
curl -sSL "https://github.com/$repo/releases/latest/download/$release_filename" -o "$out_filename"
|
||||
|
||||
chmod +x "$out_filename"
|
||||
Loading…
Add table
Add a link
Reference in a new issue