Skip to content
This repository was archived by the owner on Feb 1, 2023. It is now read-only.

Commit 87dad36

Browse files
author
Matthias Koeppe
committed
src/bin/sage, build/bin/sage-site: Remove duplication of options -installed, -p, -package, -optional, -experimental, -standard
1 parent 020bd59 commit 87dad36

File tree

2 files changed

+0
-40
lines changed

2 files changed

+0
-40
lines changed

build/bin/sage-site

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -128,16 +128,6 @@ if [ "$1" = '-standard' -o "$1" = "--standard" ]; then
128128
exec sage-list-packages standard $@
129129
fi
130130

131-
if [ "$1" = '-installed' -o "$1" = "--installed" ]; then
132-
shift
133-
exec sage-list-packages all --installed-only $@
134-
fi
135-
136-
if [ "$1" = '-p' ]; then
137-
echo "Error: Installing old-style SPKGs is no longer supported."
138-
exit 1
139-
fi
140-
141131
if [ "$1" = '-info' -o "$1" = '--info' ]; then
142132
shift
143133
for PKG in "$@"

src/bin/sage

Lines changed: 0 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -974,27 +974,6 @@ install() {
974974
exit 0
975975
}
976976

977-
978-
if [ "$1" = '-package' -o "$1" = "--package" ]; then
979-
shift
980-
exec sage-package $@
981-
fi
982-
983-
if [ "$1" = '-optional' -o "$1" = "--optional" ]; then
984-
shift
985-
exec sage-list-packages optional $@
986-
fi
987-
988-
if [ "$1" = '-experimental' -o "$1" = "--experimental" ]; then
989-
shift
990-
exec sage-list-packages experimental $@
991-
fi
992-
993-
if [ "$1" = '-standard' -o "$1" = "--standard" ]; then
994-
shift
995-
exec sage-list-packages standard $@
996-
fi
997-
998977
if [ "$1" = '-installed' -o "$1" = "--installed" ]; then
999978
shift
1000979
exec sage-list-packages all --installed-only $@
@@ -1009,15 +988,6 @@ if [ "$1" = '-p' ]; then
1009988
install "$@"
1010989
fi
1011990

1012-
if [ "$1" = '-info' -o "$1" = '--info' ]; then
1013-
shift
1014-
for PKG in "$@"
1015-
do
1016-
sage-spkg --info "$PKG" || exit $?
1017-
done
1018-
exit 0
1019-
fi
1020-
1021991
if [ "$1" = '-sdist' -o "$1" = "--sdist" ]; then
1022992
maybe_sage_location
1023993
shift

0 commit comments

Comments
 (0)