Benutzer-Werkzeuge

Webseiten-Werkzeuge


programming:bash

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
programming:bash [2019/11/01 16:45]
frank [logging]
programming:bash [2019/11/01 17:31] (aktuell)
frank [logging]
Zeile 74: Zeile 74:
  
   echoerr() { echo "​$@"​ 1>&​2;​ }   echoerr() { echo "​$@"​ 1>&​2;​ }
-  echoerr() { cat <<<​ "​$@"​ 1>&​2;​ } 
-  echoerr() { printf "​%s\n"​ "​$*"​ >&2; } 
  
   echoerr hello world   echoerr hello world
programming/bash.txt · Zuletzt geändert: 2019/11/01 17:31 von frank