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
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
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
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
2007-09-29, 04:09(+02), Nicolas S.:
Thomas a écrit:
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
2007-09-29, 04:09(+02), Nicolas S.:
Thomas <fantome.forums.tDeContes@free.fr.invalid> a écrit:
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.
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
2007-09-29, 12:00(+02), Thierry PINELLI:
Nicolas S. wrote:
Thomas a écrit:
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
2007-09-29, 12:00(+02), Thierry PINELLI:
Nicolas S. wrote:
Thomas <fantome.forums.tDeContes@free.fr.invalid> a écrit:
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.
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
In article <fdl7sk$4lh$, Thierry PINELLI 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 !
In article <fdl7sk$4lh$4@aioe.org>, Thierry PINELLI <pinuche@gmail.org>
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 !
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 !