zshrc.d/10-shell-options.zrc
changeset 13 e1da4a7a9e92
child 36 89707240553f
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/zshrc.d/10-shell-options.zrc	Sun Jul 15 15:57:45 2012 +0200
@@ -0,0 +1,72 @@
+
+#################
+# Shell options #
+#################
+#
+# Most of these settings come from my original setup from
+# Antoine Vouillon and Farzad Farid.
+# Comments are still in French.
+
+# Les noms des options sont écrits avec le souligné '_' optionnel pour
+# faciliter la recherche dans la documentation de zsh.
+
+# Options de completion. Complète les noms de commandes/fichiers avec TAB
+# listes toutes les possibilités, ne beep pas, boucle entre les choix par
+# appui répété sur TAB.
+#setopt menu_complete
+setopt auto_list
+setopt list_types
+setopt no_list_beep
+#setopt bash_auto_list
+
+# Correction automatique
+setopt correct
+unsetopt correct_all
+
+# Autres options
+
+# chdir « intelligent »
+setopt auto_cd
+
+# On ne modifie pas des fichiers existants avec '>' et '>>'
+setopt no_clobber
+
+unsetopt bg_nice
+setopt no_flow_control
+setopt no_hup
+unsetopt sun_keyboard_hack
+
+# On n'écrase pas le fichier d'historique
+setopt append_history
+# On autorise les commentaires
+setopt interactive_comments
+# Les lignes commençant par une espace ne seront pas archivées
+setopt hist_ignore_space
+# fc -l ne sera pas archivé
+setopt hist_no_store
+# Pas de doublons dans  l'historique
+setopt hist_ignore_dups
+# Les répertoires sont automatiquement mis dans la pile (cf. pushd, popd...)
+setopt auto_pushd
+# ... sans doublons
+setopt pushd_ignore_dups
+# Affiche la valeur de retour d'un programme (si non nulle)
+setopt print_exit_value
+# Essaie de réduire la liste des complétions
+setopt list_packed
+
+#setopt nobeep
+
+
+# Other shell configuration items #
+###################################
+
+# No core dumps
+ulimit -c 0
+
+# File/directory masks
+if [[ $UID -eq 0 ]]; then
+  umask 022
+else
+  umask 002
+fi