historique de bash

Le
Thomas
bonjour :-)


comment peut on choisir la longueur de l'historique de bash, svp ?

pour tcsh, c'était
set history24
ou
set savehist24
(je sais plus lequel des 2)

--
j'agis contre l'assistanat, je travaille dans une SCOP !
Vidéos High-Tech et Jeu Vidéo
Téléchargements
Vos réponses Page 1 / 3
Gagnez chaque mois un abonnement Premium avec GNT : Inscrivez-vous !
Trier par : date / pertinence
Nicolas S.
Le #770651
Thomas
comment peut on choisir la longueur de l'historique de bash, svp ?


C'est écrit blanc sur noir (chez moi) dans la page info.


--
Nicolas S.

Thomas
Le #770650
In article "Nicolas S."
Thomas
comment peut on choisir la longueur de l'historique de bash, svp ?


C'est écrit blanc sur noir (chez moi) dans la page info.


comment on tape ça ?


info history : juste la liste des commandes "builtin", pas d'aide

help history : apparemment history est une commande qui fait des choses
avec l'historique, mais pas ce que je cherche

info savehist et help savehist : rien

--
j'agis contre l'assistanat, je travaille dans une SCOP !


Nicolas S.
Le #770649
Thomas
comment on tape ça ?


# info bash

--
Nicolas S.

Thomas
Le #777528
In article "Nicolas S."
Thomas
comment on tape ça ?


# info bash


peux tu me confirmer que info et man c'est pareil ?

parce que je m'y perd, dans le man de bash
j'ai deja essayé de le lire plusieurs fois

--
j'agis contre l'assistanat, je travaille dans une SCOP !


Nicolas S.
Le #777527
Thomas
peux tu me confirmer que info et man c'est pareil ?


Oui et non.
Mais si tu avais essayé, tu aurais sûrement déjà la réponse à ta
question.


--
Nicolas S.

Thierry PINELLI
Le #777524
Thomas wrote:

bonjour :-)

comment peut on choisir la longueur de l'historique de bash, svp ?



man bash, la réponse y est


pour tcsh, c'était
set history24
ou
set savehist24
(je sais plus lequel des 2)


pourquoi répondre à côté ?

Thierry PINELLI
Le #777523
Thomas wrote:

peux tu me confirmer que info et man c'est pareil ?


non, c'est différent.

HISTFILESIZE
The maximum number of lines contained in the history file. When this
variable is assigned a value, the history file is trun-
cated, if necessary, to contain no more than that number of
lines. The default value is 500. The history file is also
truncated to this size after writing it when an interactive
shell exits.


parce que je m'y perd, dans le man de bash
j'ai deja essayé de le lire plusieurs fois


trouvé en 10 secondes

Stephane Chazelas
Le #777522
2007-09-29, 04:09(+02), Nicolas S.:
Thomas
peux tu me confirmer que info et man c'est pareil ?


Oui et non.
Mais si tu avais essayé, tu aurais sûrement déjà la réponse à ta
question.
[...]


Je suggererais aussi:

info info
et
man man

Attention toutefois, quand le manuel (de bash par exemple) au
format info n'est pas installé, "info bash" se contente
d'afficher la page au format man (si elle est installée), ce qui
perd son interet. Certains distributions de Linux par exemple,
souvent n'installent pas le manuel info par defaut, ce qui est
dommage.

Sous debian par exemple, il faut faire un apt-get install
bash-doc.

Sous MacOS/X, je ne sais pas.

--
Stéphane


Stephane Chazelas
Le #777270
2007-09-29, 12:00(+02), Thierry PINELLI:
Nicolas S. wrote:
Thomas
comment on tape ça ?


# info bash


pinfo bash est plus fun :))
[...]


Deja discuté, pinfo n'a aucun interet car il n'a ni "i", ni "g",
ni la completion qui sont les principaux avantages de info par
rapport a man. La prochaine version de "info" aura le support
des recherches par "regexp" qui est aujourd'hui le seul plus de
pinfo par rapport a info.

--
Stéphane



Thomas
Le #777266
In article wrote:

Thomas wrote:

peux tu me confirmer que info et man c'est pareil ?


non, c'est différent.

HISTFILESIZE
The maximum number of lines contained in the history file. When this
variable is assigned a value, the history file is trun-
cated, if necessary, to contain no more than that number of
lines. The default value is 500. The history file is also
truncated to this size after writing it when an interactive
shell exits.


ah merci, je croyais que c'était HISTSIZE :-)
(j'avais pas trouvé dans la liste des variables, j'ai trouvé une
rubrique qui parle de l'historique, plus loin)



parce que je m'y perd, dans le man de bash
j'ai deja essayé de le lire plusieurs fois


trouvé en 10 secondes


je vois pas comment t'as pu, sans savoir qu'il existait une telle
variable, et sans connaître son nom au moins approximativement

--
j'agis contre l'assistanat, je travaille dans une SCOP !


Publicité
Poster une réponse
Anonyme