Dateiendungen ändern in linux

Dateiendungen ändern in 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)...
rotate bash history

rotate bash history

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...

Wir nutzen Cookies, um Dir den bestmöglichen Service auf unserer Webseite zu bieten. mehr Informationen

Die Cookie-Einstellungen auf dieser Website sind auf "Cookies zulassen" eingestellt, um das beste Surferlebnis zu ermöglichen. Wenn du diese Website ohne Änderung der Cookie-Einstellungen verwendest oder auf "Akzeptieren" klickst, erklärst du sich damit einverstanden.

Schließen