From 03a55289ec8f18b7dc70d56dd79716eaec78dd4f Mon Sep 17 00:00:00 2001
From: Sebastian Moser <me@c2vi.dev>
Date: Fri, 10 Nov 2023 18:12:41 +0100
Subject: [PATCH] the rpi() must first delete the old current_rpi_config in
 case its a link

---
 programs/bash.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/programs/bash.nix b/programs/bash.nix
index 0bc0e07..b4ca647 100644
--- a/programs/bash.nix
+++ b/programs/bash.nix
@@ -138,6 +138,7 @@
 			# 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