Add installation scripts

2026-04-15 10:54:48 +02:00
parent 20c3536ae5
commit 49ab682669
21 changed files with 1002 additions and 1936 deletions
--- a/config.org
+++ b/config.org
@@ -53,7 +53,7 @@ Host rnice
 #+end_src

 #+begin_src bash :tangle ~/.ssh/esrf-test :comments none :mkdirp yes :shebang "#!/usr/bin/env bash" :tangle-mode (identity #o555)
-test -n "$(ping -c1 -W1 -q proxy.esrf.fr. &> /dev/null )"
+ping -c1 -W1 -q proxy.esrf.fr &> /dev/null
 #+end_src

 * Font