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 --- bin/.local/bin/install_dotfiles | 7 +++++++ bin/.local/bin/install_wget | 11 +++++++++++ 2 files changed, 18 insertions(+) create mode 100755 bin/.local/bin/install_dotfiles create mode 100755 bin/.local/bin/install_wget (limited to 'bin/.local') diff --git a/bin/.local/bin/install_dotfiles b/bin/.local/bin/install_dotfiles new file mode 100755 index 0000000..ecc7371 --- /dev/null +++ b/bin/.local/bin/install_dotfiles @@ -0,0 +1,7 @@ +#!/usr/bin/env bash + +dotfiles_directory=$HOME/dotfiles + +cd "$dotfiles_directory" || { echo "Nonexistent directory $dotfiles_directory"; exit; } +find . -mindepth 1 -maxdepth 1 -printf "%P\\0" | grep -zvFf .stowignore | \ + xargs -0 stow -t "$HOME" --no-folding diff --git a/bin/.local/bin/install_wget b/bin/.local/bin/install_wget new file mode 100755 index 0000000..4800e8d --- /dev/null +++ b/bin/.local/bin/install_wget @@ -0,0 +1,11 @@ +#!/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