#!/bin/sh
-# DESCRIPTION: ce fichier regroupe des utilitaires très génériques
-mk_dir () {
- local mod=${1#mod=}; shift
- local own=${1#own=}; shift
- sudo mkdir -p "$@"
- ! [ ${mod:+set} ] || sudo chmod $mod "$@"
- ! [ ${own:+set} ] || sudo chown $own "$@"
- }
-mk_reg () {
- local mod=${1#mod=}; shift
- local own=${1#own=}; shift
- local append
- if [ "x${1#--append}" = "x" ]
- then append='-a'; shift
- else append=''
- fi
- sudo tee >&2 $append "$@"
- ! [ ${mod:+set} ] || sudo chmod $mod "$@"
- ! [ ${own:+set} ] || sudo chown $own "$@"
- }
-mk_lnk () {
- sudo ln -fns "$@"
- }
+. "$tool"/lib/mk.sh
+. "$tool"/lib/log.sh