From c6c99f926f97507c41d9bdec59a2fb7d0368a350 Mon Sep 17 00:00:00 2001 From: Urbain Vaes Date: Mon, 30 Sep 2019 10:51:05 +0100 Subject: Move scripts to bin/ directory --- install_wget | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 install_wget (limited to 'install_wget') 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" -- cgit v1.2.3