Modification : polissage et log

[lhc/ateliers.git] / lib / mk.sh

diff --git a/lib/mk.sh b/lib/mk.sh
index 03912eb..91ebc13 100644 (file)
--- a/lib/mk.sh
+++ b/lib/mk.sh
@@ -1,6 +1,8 @@
 #!/bin/sh
 
 mk_dir () {
 #!/bin/sh
 
 mk_dir () {

+       local mk="dir"
+       info "$*" mk

        local mod=${1#mod=}; shift
        local own=${1#own=}; shift
        sudo mkdir -p "$@"
        local mod=${1#mod=}; shift
        local own=${1#own=}; shift
        sudo mkdir -p "$@"


@@ -8,6 +10,8 @@ mk_dir () {
        ! [ ${own:+set} ] || sudo chown $own "$@"
  }
 mk_reg () {
        ! [ ${own:+set} ] || sudo chown $own "$@"
  }
 mk_reg () {

+       local mk="reg"
+       info "$*" mk

        local mod=${1#mod=}; shift
        local own=${1#own=}; shift
        local append
        local mod=${1#mod=}; shift
        local own=${1#own=}; shift
        local append


@@ -15,10 +19,12 @@ mk_reg () {
         then append='-a'; shift
         else append=''
         fi
         then append='-a'; shift
         else append=''
         fi

-       sudo tee >&2 $append "$@"
+       sudo tee ${TRACE:+/dev/stderr} >/dev/null $append "$@"

        ! [ ${mod:+set} ] || sudo chmod $mod "$@"
        ! [ ${own:+set} ] || sudo chown $own "$@"
  }
 mk_lnk () {
        ! [ ${mod:+set} ] || sudo chmod $mod "$@"
        ! [ ${own:+set} ] || sudo chown $own "$@"
  }
 mk_lnk () {

+       local mk="lnk"
+       info "$*" mk

        sudo ln -fns "$@"
  }
        sudo ln -fns "$@"
  }