`387de3a57e1927b1db210419b87e2404f8f809de`

Author: Timo Sand <timo.j.sand@gmail.com>
Committer: Timo Sand <timo.j.sand@gmail.com>
Date: 2013-10-03 06:48 UTC

Message

Added '.war' extension to unzip

Diff

 1diff --git a/plugins/extract/extract.plugin.zsh b/plugins/extract/extract.plugin.zsh
 2index 23e86c593bbab0545bb19f46d6a6795c1c3e3b33..6e26b54c045d2ced94ca973c0aa4b7d33904b544 100644
 3--- a/plugins/extract/extract.plugin.zsh
 4+++ b/plugins/extract/extract.plugin.zsh
 5@@ -52,7 +52,7 @@ function extract() {
 6       (*.xz) unxz "$1" ;;
 7       (*.lzma) unlzma "$1" ;;
 8       (*.Z) uncompress "$1" ;;
 9-      (*.zip) unzip "$1" -d $extract_dir ;;
10+      (*.zip|*.war) unzip "$1" -d $extract_dir ;;
11       (*.rar) unrar x -ad "$1" ;;
12       (*.7z) 7za x "$1" ;;
13       (*.deb)