2022-03-13 13:00:13 +01:00
|
|
|
#!/usr/bin/env bash
|
2022-03-12 15:52:47 +01:00
|
|
|
|
|
|
|
run_directory=$(dirname "$0")
|
2022-03-14 19:58:21 +01:00
|
|
|
user=$(whoami)
|
2022-03-12 15:52:47 +01:00
|
|
|
|
2022-03-17 14:54:40 +01:00
|
|
|
if [ -f $run_directory/.disabled ]; then
|
|
|
|
echo "Installation is disabled. Exiting..."
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
2022-03-14 19:58:21 +01:00
|
|
|
echo "Copying bashrc-mine to extensions directory..."
|
2022-03-14 19:09:40 +01:00
|
|
|
cp $run_directory/bashrc-mine /home/$user/.bashrc.d/
|
2022-03-12 15:52:47 +01:00
|
|
|
|
|
|
|
echo "Finished install. Exiting..."
|
|
|
|
exit 0
|