major springcleaning

2023-10-12 15:12:12 +02:00
parent 648a010f64
commit 98b48cb97b
332 changed files with 6708 additions and 10208 deletions
--- a/.local/bin/tools/vpnstatus
+++ b/.local/bin/tools/vpnstatus
@ -1,5 +1,5 @@
 #!/bin/bash
-pgrep openconnect > /dev/null && if ping -c 1 -W 1 -q webprint.ethz.ch > /dev/null
+pgrep openconnect > /dev/null || if ping -c 1 -W 1 -q webprint.ethz.ch > /dev/null
 then
 	 printf '🔬'
 fi