misc: remove please alias to sudo

Fixes #7527
This commit is contained in:
Marc Cornellà 2019-01-20 17:20:26 +01:00 committed by GitHub
parent 9d1dd24e35
commit 6db298c57a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -23,7 +23,6 @@ env_default 'LESS' '-R'
## super user alias ## super user alias
alias _='sudo' alias _='sudo'
alias please='sudo'
## more intelligent acking for ubuntu users ## more intelligent acking for ubuntu users
if which ack-grep &> /dev/null; then if which ack-grep &> /dev/null; then