von Daniel.Schwarz | 17. Mai 2017 | Allgemein, bash, Linux |
Dateiendungen ändern in linux von Daniel.Schwarz | Mai 17, 2017 In diesem Artikel möchte ich Euch zeigen, wie Ihr die Dateiendung von mehreren Dateien unter Linux gleichzeitig ändern könnt. In meinem Beispiel möchte ich alle Dateien von .md (markdown) in .txt (text)... 
von Daniel.Schwarz | 13. Mai 2017 | Allgemein, bash, Linux |
Dateinamen Großbuchstaben in Kleinbuchstaben umwandeln Linux von Daniel.Schwarz | Mai 13, 2017 Manchmal müssen Dateinamen alle in Kleinbuchstaben umbenannt werden, z. B. um von einem DokuWiki erkannt zu werden. Auch bei anderen Daten ist es manchmal sinnvoll, dass... 
von Daniel.Schwarz | 13. Mai 2017 | Allgemein, bash, Linux |
Leerzeichen aus dateinamen entfernen von Daniel.Schwarz | Mai 13, 2017 Da ich heute aus vielen Dateien unter Linux die Leerzeichen durch einen Unterstrich (_) ersetzen wollte, habe ich mir mal angesehen, wie dies funktioniert. Für dieses Szenario gibt es ein ganz... 
von Daniel.Schwarz | 4. Mai 2017 | Allgemein, bash, Linux, Scripte |
rotate bash history In diesem Artikel möchte ich Euch zeigen, wie Ihr eure bash History täglich rotieren lassen könnt.Dazu müsst Ihr in der ~/.bashrc folgende Zeilen hinzufügen: export HISTFILE=~/.history/date +%Y%m%d.hist if [[ ! -e $HISTFILE ]]; then... 
von Daniel.Schwarz | 4. Mai 2017 | Allgemein, bash, Scripte, Software |
bash history timestamp von Daniel.Schwarz | Mai 4, 2017 Wer gerne seine bash Chronik (history) mit einem Zeitstempel (timestamp) versehen mag, kann dies sehr einfach tun. Dazu muss man lediglich eine Zeile in der .bashrc hinzufügen: HISTTIMEFORMAT="%d/%m/%y %T " 1...
Neueste Kommentare