|
1 |
|
2 ################# |
|
3 # Shell options # |
|
4 ################# |
|
5 # |
|
6 # Most of these settings come from my original setup from |
|
7 # Antoine Vouillon and Farzad Farid. |
|
8 # Comments are still in French. |
|
9 |
|
10 # Les noms des options sont écrits avec le souligné '_' optionnel pour |
|
11 # faciliter la recherche dans la documentation de zsh. |
|
12 |
|
13 # Options de completion. Complète les noms de commandes/fichiers avec TAB |
|
14 # listes toutes les possibilités, ne beep pas, boucle entre les choix par |
|
15 # appui répété sur TAB. |
|
16 #setopt menu_complete |
|
17 setopt auto_list |
|
18 setopt list_types |
|
19 setopt no_list_beep |
|
20 #setopt bash_auto_list |
|
21 |
|
22 # Correction automatique |
|
23 setopt correct |
|
24 unsetopt correct_all |
|
25 |
|
26 # Autres options |
|
27 |
|
28 # chdir « intelligent » |
|
29 setopt auto_cd |
|
30 |
|
31 # On ne modifie pas des fichiers existants avec '>' et '>>' |
|
32 setopt no_clobber |
|
33 |
|
34 unsetopt bg_nice |
|
35 setopt no_flow_control |
|
36 setopt no_hup |
|
37 unsetopt sun_keyboard_hack |
|
38 |
|
39 # On n'écrase pas le fichier d'historique |
|
40 setopt append_history |
|
41 # On autorise les commentaires |
|
42 setopt interactive_comments |
|
43 # Les lignes commençant par une espace ne seront pas archivées |
|
44 setopt hist_ignore_space |
|
45 # fc -l ne sera pas archivé |
|
46 setopt hist_no_store |
|
47 # Pas de doublons dans l'historique |
|
48 setopt hist_ignore_dups |
|
49 # Les répertoires sont automatiquement mis dans la pile (cf. pushd, popd...) |
|
50 setopt auto_pushd |
|
51 # ... sans doublons |
|
52 setopt pushd_ignore_dups |
|
53 # Affiche la valeur de retour d'un programme (si non nulle) |
|
54 setopt print_exit_value |
|
55 # Essaie de réduire la liste des complétions |
|
56 setopt list_packed |
|
57 |
|
58 #setopt nobeep |
|
59 |
|
60 |
|
61 # Other shell configuration items # |
|
62 ################################### |
|
63 |
|
64 # No core dumps |
|
65 ulimit -c 0 |
|
66 |
|
67 # File/directory masks |
|
68 if [[ $UID -eq 0 ]]; then |
|
69 umask 022 |
|
70 else |
|
71 umask 002 |
|
72 fi |