.zsh/rc/local/03_profiling

   1 #!/bin/zsh
   2 # Ce fichier contient des profils qui peuvent être chargés à la volée quand vous arrivez dans des dossiers
   3 # spécifiques. Les lignes zstyle ne comprennent pas les variables genre ${HOME}, etc.
   4 #
   5 # Attention, si vous êtes dans /usr/scripts, et que vous allez dans lc_ldap, il ne rechargera pas de profil
   6 # car le nom du profil est le même.
   7 # Il faut donc créer des sous-profils pour les dépôts git différents.
   8
   9 chpwd_profile_default(){
  10     [[ ${profile} == ${CHPWD_PROFILE} ]] && return 1
  11     umask 022
  12     return 0
  13 }
  14
  15 chpwd_profile_sharedgit(){
  16     [[ ${profile} == ${CHPWD_PROFILE} ]] && return 1
  17     umask 002
  18     git status 2> /dev/null
  19
  20     return 0
  21 }
  22
  23 zstyle ':chpwd:profiles:/home/meh/git/scripts(|/|/*)'                     profile sharedgit
  24 zstyle ':chpwd:profiles:/home/meh/git/bcfg2(|/|/*)'                       profile sharedgit
  25 zstyle ':chpwd:profiles:/home/meh/git/lc_ldap(|/|/*)'                     profile sharedgit
  26 zstyle ':chpwd:profiles:/usr/scripts(|/|/*)'                      profile sharedgit
  27 zstyle ':chpwd:profiles:/usr/scripts/lc_ldap(|/|/*)'              profile sharedgit
  28 zstyle ':chpwd:profiles:/usr/scripts/intranet(|/|/*)'             profile sharedgit