Ajout du shortcut pour xmllint

2016-04-29 15:14:20 +02:00
parent 8b693965b7
commit d84fbedaf2
1 changed files with 6 additions and 0 deletions
--- a/.bash_aliases
+++ b/.bash_aliases
@@ -13,3 +13,9 @@ _git_add_complete() {
 complete -F _git_add_complete gg
 xmlpretty() {
    local ORIGINAL=$1
    local FILENAME=${ORIGINAL%.xml}
    local FINAL=${FILENAME##*/}
    xmllint --format "$1" --output ${FINAL}.pretty.xml
 }