Jump to content
View in the app

A better way to browse. Learn more.

Next

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.

Listing des commandes passées depuis 1 semaine

Featured Replies

Salut,

Comme l'indique le titre, j'aimerais savoir comment il faut faire depuis une Debian pour obtenir le listing de toutes les commandes passées depuis une semaine....Y a bien la flèche du haut qui depuis une console permet de les faire défiler mais c'est pas bien pratique.

Merci :)

si tu parle des commande passé dans une console , c'est dans

/home/nom_user/.bash_history (pour bash en tout cas )

mais c'est pas sure que tu est l'historique sur une semaine

(sauf si tu passe peu de commande )

Edited by zaverel

  • Author

Effecivement j'ai jetté un coup d'oeil, et apparemment c'est pas sauvegarder en fonction d'un critère temporaire (jour, semaine, mois) y-a juste un certain nombre de commandes qui sont gardées en mémoire (chez moi une cinquantaine). Donc, afin que je puisse à l'avenir retrouver plus de commandes est-il possible de faire en sorte que mon système sauvegarde un nombre plus important des dernières commandes passées (par ex., 1000 ou 2000 au lieu de 50) ?

man bash

HISTCMD

              The history number, or index in the history list, of the current command.  If HISTCMD is unset,  it  loses  its  special

              properties, even if it is subsequently reset.

donc tu dois pouvoir ajouter dans ton ~/.bashrc :

export HISTCMD=911

par exemple...

J'ai une variable d'environnement HISTSIZE positionnee a 500, ce qui correspond bien aussi a la taille de mon historique...

Archived

This topic is now archived and is closed to further replies.

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.