Files
bash/bash_tools.sh
2019-10-25 17:08:00 +02:00

29 lines
656 B
Bash
Executable File

#!/usr/bin/env bash
echo -e "\033[1mBash Tools: \033[0m"
editeur=/usr/local/bin/bbedit
# 1: ~/.bash_profile
# 2: ~/.bash_login
# 3: ~/.profile
options=(
"(E)dit .bash_profile"
"(S)ource .bash_profile (reload)"
"(B)ackup .bash_profile"
"(R)estore .bash_profile"
"(Q)uit"
)
select option in "${options[@]}"; do
case "$REPLY" in
1|e|E) "$editeur" ~/.bash_profile ;;
2|s|S) source ~/.bash_profile ;;
3|b|B) scp ~/.bash_profile funnymac@ftp.cluster011.ovh.net:www/backup ;;
4|r|R) curl http://clicclac.info/backup/.bash_profile > ~/.bash_profile && reload ;;
5|q|Q) break ;;
esac
done