diff options
author | Katze Miau <miaukatzemiau@priveasy.de> | 2012-03-06 07:55:06 (GMT) |
---|---|---|
committer | Katze Miau <miaukatzemiau@priveasy.de> | 2012-03-06 07:55:06 (GMT) |
commit | badfc8f08a225169ef223a8fac03c76869bc128b (patch) | |
tree | 3fe3fb1a3b00b469a3feb94a99d4eb178529a883 | |
parent | d83d8e31aa75df6f47812acf628dfbffa09a9811 (diff) |
toolbin/extract_variants: change interpreter from sh to bash
-rwxr-xr-x | toolbin/extract_variants | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toolbin/extract_variants b/toolbin/extract_variants index 9ad52e1..84a91c6 100755 --- a/toolbin/extract_variants +++ b/toolbin/extract_variants @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash print_ext () { ls -d -- "$1"{,.delete,.patch} 2>/dev/null |