remove space

This commit is contained in:
2023-10-18 19:33:25 +02:00
parent 9f8b1987cd
commit 04d096c2bc
2 changed files with 1 additions and 1 deletions

View File

@ -1,7 +0,0 @@
#!/bin/bash
pgrep openconnect > /dev/null || if ping -c 1 -W 1 -q webprint.ethz.ch > /dev/null
then
printf '🔬'
fi
pgrep openvpn > /dev/null && printf '🛡'
printf '\n'