Zum Inhalt springen
View in the app

A better way to browse. Learn more.

Fachinformatiker.de

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

Empfohlene Antworten

Veröffentlicht

Servus,

ich suche die Datei, in der die Usereingabe der Bash Shell gespeichert wird.

damit meine ich zB solche eingaben

$> ls -l

da werden ja scheinbar die über 500 letzten Befehle gespeichert, die Frage ist nur wo ?

vielen Dank schonmal

MfG.Andreas

.bash_history in $HOME.

s'Amstel

das ging ja flott

super danke :)

Als kleine Anmerkung: Da steht aber nur drin, was der User auch will. Sollte man nicht wollen, dass der Befehl in der Historie landet startet man den Befehl einfach mit einem Leerzeichen an erster Stelle. Und zweites kann die Datei auch jeder User selbst löschen. Historie ist also im wesentlichen nur dann sinnvoll wenn man selbst nachsehen will was man letzte Woche alles getan hat... ;)

ich wollte ja auch nix anderes ;)

Als kleine Anmerkung: Da steht aber nur drin, was der User auch will. Sollte man nicht wollen, dass der Befehl in der Historie landet startet man den Befehl einfach mit einem Leerzeichen an erster Stelle.

Dazu muss allerdings vorher der Wert der Umgebungsvariablen HISTCONTROL entsprechend gesetzt werden. Auch nur eine kleine Anmerkung :)

Historie ist also im wesentlichen nur dann sinnvoll wenn man selbst nachsehen will was man letzte Woche alles getan hat... ;)

Auch wenn ich das Smiley bemerkt habe -- viele unterschätzen diese Möglichkeiten oder kennen sie gar nicht. Die history erspart einem eine Menge Tipparbeit, Stichwort history expansion. Man kann an der Kommandozeile zum Beispiel ganz komfortabel nach zuvor eingegebenen Befehlen suchen.

Erstelle ein Konto oder melde dich an, um einen Kommentar zu schreiben.

Configure browser push notifications

Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.