Remove duplication of options handled in src/bin/sage and build/bin/sage-site

[mkoeppe]

(from #30846)

We remove the duplication of lines like

if [ "$1" = '-optional' -o "$1" = "--optional" ]; then
    shift
    exec sage-list-packages optional $@
fi

in src/bin/sage and build/bin/sage-site.

We keep handling of the option --installed in src/bin/sage in anticipation of #30940 (src/bin/sage-list-packages: Make it work if SAGE_ROOT is not available).

CC: @jhpalmieri @seblabbe @kliem

Component: scripts

Author: Matthias Koeppe

Branch/Commit: 87dad36

Reviewer: Jonathan Kliem

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

[mkoeppe]

Branch: u/mkoeppe/remove_duplication_of_options_handled_in_src_bin_sage_and_build_bin_sage_site

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Commit: 87dad36

[mkoeppe]

New commits:

87dad36

src/bin/sage, build/bin/sage-site: Remove duplication of options -installed, -p, -package, -optional, -experimental, -standard

[kliem]

Reviewer: Jonathan Kliem

[kliem]

comment:5

LGTM.

[vbraun]

Changed branch from u/mkoeppe/remove_duplication_of_options_handled_in_src_bin_sage_and_build_bin_sage_site to 87dad36