43 lines
993 B
Bash
43 lines
993 B
Bash
|
#!/bin/bash
|
||
|
|
|
||
|
|
if [[ $1 = *"@"* ]]; then
|
||
|
|
USERNAME=${1%@*}
|
||
|
|
SERVER=${1#*@}
|
||
|
|
else
|
||
|
|
SERVER="$1"
|
||
|
|
echo -n "Username (@${SERVER}): "
|
||
|
|
read USERNAME
|
||
|
|
fi
|
||
|
|
[ -z "${USERNAME}" ] && { echo "Username not set"; exit 1; }
|
||
|
|
shift
|
||
|
|
|
||
|
|
if [ $# -ge 1 ]; then
|
||
|
|
PORT=$1
|
||
|
|
else
|
||
|
|
PORT=22
|
||
|
|
fi
|
||
|
|
shift
|
||
|
|
|
||
|
|
OPTIONS="$@"
|
||
|
|
|
||
|
|
SSH="/usr/bin/ssh"
|
||
|
|
CMD="$SSH ${OPTIONS} -p ${PORT} ${USERNAME}@${SERVER}"
|
||
|
|
|
||
|
|
echo "Configure new Server (${SERVER}) for personal use"
|
||
|
|
|
||
|
|
$CMD /bin/bash << EOF
|
||
|
|
test -e "~/bashrc_add" && { echo "Server ${SERVER} configured"; exit 0; }
|
||
|
|
rm -rf ~/bashrc_add
|
||
|
|
#wget "https://git.schuerz.at/?p=public/server-config.git;a=blob_plain;f=bashrc_add;hb=HEAD" -O ~/bashrc_add
|
||
|
|
git clone https://git.schuerz.at/public/server-config.git
|
||
|
|
ln -s server-config/bashrc_add bashrc_add
|
||
|
|
echo "modify ~/.bashrc"
|
||
|
|
if grep -q bashrc_add .bashrc ;then
|
||
|
|
sed -i -e '/bashrc_add/d' .bashrc
|
||
|
|
fi
|
||
|
|
echo
|
||
|
|
printf "%s" "[ -f bashrc_add ] && . bashrc_add" | tee -a .bashrc
|
||
|
|
echo
|
||
|
|
EOF
|
||
|
|
$CMD
|