Add remote sourcing

This commit is contained in:
Tobias Reisinger 2022-09-13 22:19:08 +02:00
parent 59f56831ee
commit 59c323b383
Signed by: serguzim
GPG key ID: 13AD60C237A28DFE
2 changed files with 15 additions and 3 deletions

11
.bin/source-remote-file Executable file
View file

@ -0,0 +1,11 @@
base_path="$HOME/.cache/remote-sources"
mkdir -p "$base_path"
file_path="$base_path/$1"
if [ ! -f "$file_path" ]
then
echo "Installing file $1"
curl -Ls -o "$file_path" "$2"
fi
source $file_path
# vim: ft=bash