Parcourir la source

Remove sudo alias

pull/15/head
10sr il y a 7 ans
Parent
révision
49651155dc
1 fichiers modifiés avec 0 ajouts et 1 suppressions
  1. +0
    -1
      shrc

+ 0
- 1
shrc Voir le fichier

@@ -296,7 +296,6 @@ __safe_alias e3=e3em
#alias dirs="dirs -v -l | \grep -v \$(printf '%s$' \$PWD)"
alias po=popd
alias pu=pushd
__safe_alias sudo="sudo " # use aliases through sudo
__safe_alias sudoe="sudoedit"

__safe_alias make="nice make"


Chargement…
Annuler
Enregistrer