Bonjour, Un petit truc utile à connaître: l'option chase_links de zsh permet de corriger un bug de conception des divers shells. Préparation des fichiers: % mkdir -p foo1/foo2 % ln -s foo1/foo2 bar % echo OK > foo1/file % echo 'cd .. && cat file' > foo1/foo2/catfile Sous divers shells: % cd bar % cat ../file OK % sh catfile cat: file: No such file or directory Avec zsh et l'option chase_links: % setopt chase_links % cd bar % cat ../file OK % sh catfile OK L'option chase_links n'est peut-être pas très intuitive à première vue, car quand on fait le "cd bar", un pwd donne ".../foo1/foo2" au lieu de ".../bar". Mais dans la pratique, résoudre les liens symboliques lors du cd fonctionne bien mieux lorsque ".." est utilisé. -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
participants (1)
-
Vincent Lefevre