This commit is contained in:
Sebastian Moser
2023-11-22 16:40:55 +01:00
parent 65963aa32f
commit 17c1e8406a
15 changed files with 204 additions and 100 deletions

View File

@@ -46,7 +46,7 @@
style = "Bold Italic";
};
size = 10;
size = 9;
};
# Dracula theme for alacritty

View File

@@ -140,37 +140,13 @@
# a little programm, that changes the ssh config to always be able to acces rpi
function rpi(){
ssh_dir=~/.ssh
rm -f $ssh_dir/current_rpi_config
if [ "$1" == "l" ]
then
cp $ssh_dir/rpi/local $ssh_dir/current_rpi_config
fi
if [ "$1" == "local" ]
then
cp $ssh_dir/rpi/local $ssh_dir/current_rpi_config
fi
if [ "$1" == "r" ]
then
cp $ssh_dir/rpi/remote $ssh_dir/current_rpi_config
fi
if [ "$1" == "remote" ]
then
cp $ssh_dir/rpi/remote $ssh_dir/current_rpi_config
fi
if [ "$1" == "w" ]
then
cp $ssh_dir/rpi/wstunnel $ssh_dir/current_rpi_config
fi
sudo rm /etc/hosts
sudo su -c "cat ${self}/misc/my-hosts > /etc/hosts"
sudo su -c "cat ${self}/misc/my-hosts-$1 >> /etc/hosts"
sudo su -c "echo -en "$1" > /etc/current_hosts"
}
# git commit func
function gc(){
tmp=$(echo -en $@)

View File

@@ -16,15 +16,9 @@
user = "me";
hostname = "192.168.1.2";
};
#lush = {
#user = "me";
#hostname = "192.168.5.5";
#};
phone = {
user = "u0_a345";
hostname = "192.168.44.1";
port = 8022;
identityFile = "${secretsDir}/private-key-main";
};
uwu = {
user = "sebastian";