# HG changeset patch
# User wenzelm
# Date 1645206766 -3600
# Node ID b5a9315578f8943390708889d4e0cfe3ae1c7401
# Parent  9e79c9f55edd0143796a66b706ce40ea7bad2f79
clarified options;

diff -r 9e79c9f55edd -r b5a9315578f8 src/Tools/VSCode/src/vscode_setup.scala
--- a/src/Tools/VSCode/src/vscode_setup.scala	Fri Feb 18 16:56:56 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Fri Feb 18 18:52:46 2022 +0100
@@ -68,7 +68,7 @@
     download_url: String = default_download_url,
     version: String = vscode_version,
     platform: Platform.Family.Value = default_platform,
-    verbose: Boolean = false,
+    quiet: Boolean = false,
     progress: Progress = new Progress): Unit =
   {
     val (install_ok, install_dir) = vscode_installation(version, platform)
@@ -95,8 +95,8 @@
       Isabelle_System.with_tmp_file("download")(download =>
         {
           Isabelle_System.download_file(download_url + "/" + version + "/" + name, download,
-            progress = if (verbose) progress else new Progress)
-          if (verbose) progress.echo("Installing " + install_dir.expand)
+            progress = if (quiet) new Progress else progress)
+          if (!quiet) progress.echo("Installing " + install_dir.expand)
           if (is_zip) {
             Isabelle_System.bash("unzip -x " + File.bash_path(download),
               cwd = install_dir.file).check
@@ -133,7 +133,7 @@
       var download_url = default_download_url
       var version = vscode_version
       var platforms = List(default_platform)
-      var verbose = false
+      var quiet = false
 
       val getopts = Getopts("""
 Usage: vscode_setup [OPTIONS]
@@ -146,7 +146,7 @@
     -p NAMES     platform families: comma-separated names
                  (""" + commas_quote(Platform.Family.list.map(_.toString)) + """, default: """ +
         quote(default_platform.toString) + """)
-    -v           verbose mode
+    -q           quiet mode
 
   Maintain local installation of VSCode, see also https://vscodium.com
 
@@ -157,7 +157,7 @@
         "U:" -> (arg => download_url = arg),
         "V:" -> (arg => version = arg),
         "p:" -> (arg => platforms = Library.space_explode(',', arg).map(Platform.Family.parse)),
-        "v" -> (_ => verbose = true))
+        "q" -> (_ => quiet = true))
 
       val more_args = getopts(args)
       if (more_args.nonEmpty) getopts.usage()
@@ -165,7 +165,7 @@
       val progress = new Console_Progress()
       for (platform <- platforms) {
         vscode_setup(check = check, download_url = download_url, version = version,
-          platform = platform, verbose = verbose, progress = progress)
+          platform = platform, quiet = quiet, progress = progress)
       }
     })
 }