Bearbeiten von „Bash tips“
Version vom 17. Juni 2014, 15:07 Uhr von Vkl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „<syntaxhighlight lang="bash" style="font-size:9pt;"> # bash history without numbers history | cut -c 8- history | cut -d' ' -f4- | sed 's/^ \(.*$\)/\1/g' </syn…“)
Achtung: Du bearbeitest eine alte Version dieser Seite. Sofern du sie speicherst, werden alle neueren Versionen überschrieben.
Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird öffentlich sichtbar, falls du Bearbeitungen durchführst. Sofern du dich anmeldest oder ein Benutzerkonto erstellst, werden deine Bearbeitungen zusammen mit anderen Beiträgen deinem Benutzernamen zugeordnet.