2023-10-05 13:54:02 +04:00
|
|
|
#!/bin/bash
|
|
|
|
|
# -*- coding: utf-8 mode: sh -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8
|
|
|
|
|
source "$(dirname -- "$0")/../load.sh" || exit 1
|
|
|
|
|
|
|
|
|
|
[ "$(id -u)" -eq 0 ] || die "Ce script doit être lancé avec les droits root"
|
|
|
|
|
|
|
|
|
|
cd "$MYDIR/.."
|
|
|
|
|
[ -n "$1" ] && dest="$1" || dest="$(pwd)"
|
|
|
|
|
|
2023-10-20 10:30:12 +04:00
|
|
|
estep "Maj /etc/nulib.sh"
|
|
|
|
|
sed "s|@@""dest""@@|$dest|g" load.sh >/etc/nulib.sh
|
