diff options
author | Joseph Hunkeler <jhunkeler@gmail.com> | 2025-01-21 01:38:05 -0500 |
---|---|---|
committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2025-01-21 01:38:05 -0500 |
commit | 9c2c2a152d931147ae18e037cdad39de3427f74a (patch) | |
tree | 214104e2c454185a78612ff30fbf5081e614fecd /bin | |
parent | 20f7f706597c456004dde77dcc1c830d578d2a18 (diff) | |
download | ghasandbox-9c2c2a152d931147ae18e037cdad39de3427f74a.tar.gz |
OK
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/getfile | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/bin/getfile b/bin/getfile new file mode 100755 index 0000000..d8bcbb6 --- /dev/null +++ b/bin/getfile @@ -0,0 +1,28 @@ +#!/usr/bin/env bash + +prog="$(basename $0)" +src="$1" +dest="$2" + +usage() { + echo "$prog {src|url} [dest]" +} + +if [[ -z "$src" ]]; then + usage + exit 1 +fi + +if [[ -z "$dest" ]]; then + dest="./$(basename $src)" +fi + +if [[ "$src" =~ :// ]]; then + cmd=curl + cmd_argv="-L -o $dest $src" +else + cmd=rsync + cmd_argv="-a -P $src $dest" +fi + +echo "$cmd $cmd_argv" |