-
Notifications
You must be signed in to change notification settings - Fork 16
/
history.txt
131 lines (112 loc) · 7.82 KB
/
history.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
HISTORY
COMMANDES HISTORIQUES #set -o history doit être activé (par défaut en shell
==> #interactif et non en shell non-interactif) pour tout
#ce qui suit.
history [NOMBRE] #Imprime les NOMBRE dernieres commandes effectuees,
#(par défaut toutes), numérotées et précédées (si
#HISTTIMEFORMAT est déclaré) du temps d'exécution (sous
#la forme enregistrée par HISTTIMEFORMAT, en séquence
#d'échappement pour date)
FICHIER HISTORIQUE #Le fichier historique enregistre chaque commande
==> #exécutée par un user, ligne à ligne.
#Si HISTTIMEFORMAT est déclarée, il enregistre aussi
#un timestamp avant chaque commande.
#Le fichier historique est :
# - ~/.bash_history par défaut
# - $HISTFILE si déclaré
#L'historique temporaire démarre une session avec le
#contenu du fichier historique, puis s'incrémente des
#commandes tapées lors de la session.
#Le fichier historique est remplacé à chaque logout d'un
#user (par exemple cloture du terminal) par l'historique
#temporaire de cette session.
VARIABLES HISTORIQUES #HISTSIZE est le nombre de lignes limite de l'historique
==> #temporaire, HISTFILESIZE celui du fichier historique.
#Les commandes sur l'historique ne sont valables qu'en
#console
#HISTIGNORE est une liste de lignes de commandes
#séparées par ":" qui (s'il s'agit exactement de cette
#ligne) ne sont pas sauvegardées dans l'historique
#temporaire
#HISTCONTROL a trois valeurs possibles :
# - "ignorespace" : les lignes de commandes commançant
# par espace ne sont pas sauvegardées
# dans l'historique temporaire
# - "ignoredups" : même chose, mais pour les lignes de
# commande identiques à celle qui
# précède
# - "ignoreboth" : a l'effet de "ignorespace" +
# "ignoredups"
-a [FILE] #Incrémente FILE avec les lignes de commande tapées
#dans la session. FILE est par défaut le fichier
#historique
-w [FILE] #Remplace FILE par l'historique temporaire. FILE est par
#défaut le fichier historique. Couplé avec -c, FILE doit
#être précisé ($HISTFILE par exemple)
-r [FILE] #Append le contenu de FILE à l'historique temporaire.
#FILE est par défaut le fichier temporaire.
-n [FILE] #Même chose, mais à condition que les lignes n'aient
#pas déjà été appended (comme c'est le cas par défaut
#pour le fichier historique à l'ouverture d'un shell)
-d NOMBRE #Supprime la commande numéro NOMBRE de l'historique
#temporaire (et non du fichier historique)
-c #Supprime toutes les entrées de l'historique temporaire
-s STRING #Ajoute STRING comme dernière entrée de l'historique
#temporaire
-p STRING... #Imprime chaque STRING suivie chacune d'une newline,
#après expansion, mais n'exécute pas les commandes
#contenues dans STRING..., et le résultat n'est pas
#enregistré dans l'historique temporaire
COMMANDES HISTORIQUES
==> #Il y a aussi ces commandes (historique temporaire) :
CTRL-P
UP-ARROW #Affiche la/les derniere(s) commande(s)
CTRL-R #Recherche dans l'historique une commande.
AUTRES COMMANDES
HISTORIQUES ==> #Ainsi que celles-ci (set -H doit être activé) :
!! #Execute la derniere commande
^STRING1^STRING2^ #Execute la dernière commande, en remplaçant la première
#occurence de STRING1 par STRING2 (no globbing ni
#regexp)
!NOMBRE #Execute la commande numero NOMBRE de $(history)
!-NOMBRE #Execute la enieme derniere commande effectuee
!STRING #Execute la derniere commande matchant le STRING
!?STRING #Execute la derniere commande contenant le STRING
!# #Est substitué par la ligne de commande tapée jusqu'ici
fc [FIRST] [LAST] #Edite (avec $FCEDIT si déclaré, puis $EDITOR, puis vi),
#la concaténation des commandes de l'historique allant
#de FIRST à LAST, puis exécute le résultat.
#LAST peut précéder FIRST, auquel cas le compte se fera
#à l'envers.
#LAST et FIRST peuvent être :
# - le numéro historique de la commande
# - une string (no globbing ni regexp) spécifiant la
# dernière commande de l'historique commençant par
# cette string
-l #Imprime les lignes concernées plutôt que de les éditer
#et de les exécuter, ainsi que leur numéro historique
-n #Avec -l, n'imprime pas le numéro historique
-r #Equivaut à fc -l | tac
-s STRING1=STRING2 #Avant d'effectuer toute action, remplace chaque
#occurrence (no blogging ni regexp) de STRING1 dans les
#lignes de commande concernées par STRING2
-e COMMANDE #Choisit COMMANDE comme éditeur de texte
OPTIONS COMPLEXES LIEES
A L'HISTORIQUE ==> #Les voici :
NOM DEFO INTER DESCRIPTION
I N
cmdhist O O IN #save all lines of a multiple-line command in the
#same history entry. This allows easy re-editing of
#multi-line commands.
histappend N N I #the history list is appended to the HISTFILE when
#the shell exits, rather than overwriting it
histreedit N N I #Able to re-edit a failed history substitution
histverify N N I #Allow to review a history substitution result by
#loading the resulting line into the editing
#buffer, rather than directly executing it.
lithist N N I #if the cmdhist option is enabled, multi-line
#commands are saved to the history with embedded
#newlines rather than using semicolon separators
#where possible.