From 1242a1c4c7e52624d63a1a671ed56091034e68c0 Mon Sep 17 00:00:00 2001 From: david Date: Sun, 17 Nov 2019 18:53:27 +0100 Subject: [PATCH] plugin update --- zsh-david.plugin.zsh | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/zsh-david.plugin.zsh b/zsh-david.plugin.zsh index efd88d7..adfd85e 100644 --- a/zsh-david.plugin.zsh +++ b/zsh-david.plugin.zsh @@ -43,6 +43,42 @@ fi # **** function definitions **** +## output handling +log() { + case $1 in + "error") + level="\033[31m✗\033[0m" + ;; + "warn") + level="\033[33m!\033[0m" + ;; + "debug") + level="\033[2md\033[0m" + ;; + "success") + level="\033[32m✓\033[0m" + ;; + "info") + level="i" + ;; + *) + level="\033[31mLoglevel unknown. Programming error? ($1)\033[0m" + ;; + esac + + sleep 0.5; echo -e "[$level] ${@:2}" +} + +## setup user accounts on linux systems +setup_user() { + if [ $1 ]; then + log info "setting up account for $1" + else + log error "no username given" + return 1 + fi +} + ## RDP client rdp() {