shopt -s globstar
alias ll="ls -l"
alias la="ls -a"
alias rm="rm -i"
alias pst="ps -f -u ducaa"
alias gm="gnatmake -gnatv -gnato"
alias cada="gnatgcc -c -gnatv -gnato"
alias rmall="rm -i /**/*.ali  rm -i ~/**/*.o rm -i ~/**/*"
alias cd..="cd .."
alias resetdroit="chmod -R go-rwx ~"
alias openpublic="chmod g+rxw ~ | chmod -R g+rxw ~/public"
alias machinev="M2102-lance-machine-virtuelle &"