Refactor system package scripts

[mkoeppe]

We extend the scripts sage-get-system-packages and sage-print-system-package-command:

• When system=auto, they now invoke sage-guess-package-system.

• sage-print-system-package-command gets a new option --spkg; then it invokes sage-get-system-packages.

This simplifies some uses.

CC: @dimpase

Component: scripts

Author: Matthias Koeppe

Branch/Commit: d75da7e

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/33873

[mkoeppe]

Branch: u/mkoeppe/refactor_system_package_scripts

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Commit: d75da7e

[mkoeppe]

New commits:

ab5a4f1	build/bin/sage-get-system-packages: If system=auto, use sage-guess-package-system
798f4d3	build/bin/sage-print-system-package-command: If system=auto, use sage-guess-package-system
ef249cc	build/bin/sage-print-system-package-command: New option --spkg
d75da7e	tox.ini: Simplify using new options of sage-print-system-package-command

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1,8 @@
+We extend the scripts `sage-get-system-packages` and `sage-print-system-package-command`: 
 
+- When `system=auto`, they now invoke `sage-guess-package-system`.
+
+- `sage-print-system-package-command` gets a new option `--spkg`; then it invokes `sage-get-system-packages`.
+
+This simplifies some uses.
+

[dimpase]

comment:6

how can one test that?

[mkoeppe]

comment:7

For example, on a Linux machine using tox -e local-sudo-standard -- config.status

[mkoeppe]

comment:8

#33819 also makes (limited) use of it

[dimpase]

comment:9

Replying to @mkoeppe:

For example, on a Linux machine using tox -e local-sudo-standard -- config.status

how about something without sudo?

[dimpase]

comment:10

I tried local-standard instead, it worked.

[dimpase]

Reviewer: Dima Pasechnik

[mkoeppe]

comment:11

Thanks!

[mkoeppe]

comment:12

Replying to @dimpase:

I tried local-standard instead, it worked.

I think this does not actually invoke the package scripts at all, but you can do tox -e local-root-standard and wait for the error from not being root