catium

git clone git://bebou.netlib.re/catium

Log | Files | Refs | README |

commit 98ed14a891dc9b0a6a6926236503ff474bcca872
parent 325ed1a35ee997ae9322813a5bd04ade58716a17
Auteurice: Arthur Pons <arthur.pons@unistra.fr>
Date:   Fri, 25 Apr 2025 18:57:08 +0200

Spécificité bash à décommenter plutôt qu'auto

Le délire est que ps -o n'existait pas à l'époque de debian 1.3
ps tout court existe mais va dire que la commande est sh blabla
Il faut donc vérifier que /bin/sh est un lien et ce ers quoi il pointe
Sauf qu'à l'époque readlink et realpath n'existent pas (ou du moins pas
par défaut dans debian) donc il n'y a pas de moyen facile de le faire
J'opte donc plutôt pour insérer la ligne dans la phase de configuration,
à la personne de savoir si son /bin/sh pointe vers bash

Diffstat:
M
page
 | 
9
+++++----

1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/page b/page
@@ -1,9 +1,5 @@
 #! /usr/bin/env sh
 
-# Si le shell est bash alors on lui dit de développer les alias
-shell="$(ps -o args= $$ | cut -d ' ' -f1)"
-[ "$shell" = "bash" ] && shopt -s expand_aliases
-
 # Chemin absolu du fichier css
 # du point de vue du serveur web
 # (et non pas dans le système de fichier
@@ -70,6 +66,11 @@ exit 1;
 #show() { asciidoc "$tmpdir/$1"; }
 #show() { cat "$tmpdir/$1"; }
 
+# Si votre sh est bash alors décommenter la ligne suivante
+# Sous linux vous pouvez vérifier en faisant
+# readlink $(whereis sh)
+# shopt -s expand_aliases
+
 ###############################
 # FIN DE PREMIÈRE CONFIGURATION
 ###############################