sage --package properties: Update help

vbraun · Jan 14, 2024 · 8ff9e85 · 8ff9e85
1 parent 3e5c66b
commit 8ff9e85
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/build/sage_bootstrap/app.py b/build/sage_bootstrap/app.py
@@ -82,7 +82,7 @@ def properties(self, *package_classes, props=['path', 'version_with_patchlevel',
         """
         Show the properties of given packages
 
-        $ sage --package properties maxima
+        $ sage --package properties --format shell maxima
         path_maxima='........./build/pkgs/maxima'
         version_with_patchlevel_maxima='5.46.0'
         type_maxima='standard'

diff --git a/build/sage_bootstrap/cmdline.py b/build/sage_bootstrap/cmdline.py
@@ -90,8 +90,12 @@
 EXAMPLE:
 
     $ sage --package properties maxima
-    version_maxima='5.46.0'
-    type_maxima='standard'
+    maxima:
+            path:                        /.../build/pkgs/maxima
+            version_with_patchlevel:     5.46.0
+            type:                        standard
+            source:                      normal
+            trees:                       SAGE_LOCAL
 """