#!/usr/bin/env bash run_directory=$(dirname "$0") user=$(whoami) echo "Copying bashrc-mine to extensions directory..." cp $run_directory/bashrc-mine /home/$user/.bashrc.d/ echo "Finished install. Exiting..." exit 0