#!/bin/sh
-set -e -f ${DRY_RUN:+-n} -u ${TRACE:+-x}
+set -e -f ${DRY_RUN:+-n} -u
tool=${0%/*}
. "$tool"/env.sh
. "$tool"/inc.sh
Voir \`$tool/ateliers_host' pour les utilitaires côté machine hôte.
SYNTAX: $0 \$RULE \${RULE}_SYNTAX
RULES:
- $(sed -ne 's/^rule_\([^ ]*\) () {\( *#.*\|\)/\t\1\2/p' "$0")
+ $(sed -ne 's/^rule_\([^_][^ ]*\) () {\( *#.*\|\)/\t\1\2/p' "$0")
ENVIRONMENT:
+ TRACE # affiche les commandes avant leur exécution
$(sed -ne 's/^readonly \([^ =]*\).*}\( *#.*\|\)$/\t$\1\2/p' "$tool"/env.sh "$0")
EOF
}
rule_filesystem_mount () {
- mountpoint /proc ||
- mount -t proc proc /proc
- mountpoint /sys ||
- mount -t sysfs sys /sys
- mountpoint /dev
}
rule_filesystem_unmount () {
! mountpoint /proc ||
rule=${1:-help}
${1+shift}
+set "${TRACE:+-x}"
rule_$rule "$@"