getopt: skip arg if it's decimal (closes #2598)

ScoopInstaller · Sep 15, 2018 · 5f0c8cf · 5f0c8cf
1 parent 07a8a20
commit 5f0c8cf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/getopt.ps1 b/lib/getopt.ps1
@@ -28,6 +28,7 @@ function getopt($argv, $shortopts, $longopts) {
         # don't try to parse array arguments
         if($arg -is [array]) { $rem += ,$arg; continue }
         if($arg -is [int]) { $rem += $arg; continue }
+        if($arg -is [decimal]) { $rem += $arg; continue }
 
         if($arg.startswith('--')) {
             $name = $arg.substring(2)