diff --git a/bin/env-desc b/bin/env-desc index 0c73d5ff5988611613fae21d9bee1ba3864bb53d_YmluL2Vudi1kZXNj..8d322a3718d65f2743c3007a9f1afbd45677d0c0_YmluL2Vudi1kZXNj 100755 --- a/bin/env-desc +++ b/bin/env-desc @@ -98,6 +98,11 @@ path = sys.argv[2] key = sys.argv[3] sys.argv[4] = bool(sys.argv[4]) + elif path == '--int': + sys.argv.pop(2) + path = sys.argv[2] + key = sys.argv[3] + sys.argv[4] = int(sys.argv[4]) if len(sys.argv) < 5: err("missing value") sys.exit(2)