diff options
author | Urbain Vaes <urbain@vaes.uk> | 2019-09-30 10:51:05 +0100 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2019-09-30 10:51:05 +0100 |
commit | c6c99f926f97507c41d9bdec59a2fb7d0368a350 (patch) | |
tree | 0b9f38b6d18ee4f9d3642390730358968785a759 /install_wget | |
parent | 31a017dbefef36b0b246656c9e1ac1960fb8c1a4 (diff) |
Move scripts to bin/ directory
Diffstat (limited to 'install_wget')
-rw-r--r-- | install_wget | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/install_wget b/install_wget deleted file mode 100644 index 4800e8d..0000000 --- a/install_wget +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env bash - -find . -type f -name "*.wget" | \ - while read -r file; do - destination=$HOME/$(echo "${file%.*}" | sed 's#\./[^/]*/##') - mkdir -p "$(dirname "$destination")" - wget "$(cat "$file")" -O "$destination" - if [[ "$file" == ./bin/* ]]; then - chmod +x "$destination" - fi - done && echo "Installation successful" |