Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
src/bin/sage, build/bin/sage-site: Remove duplication of options -ins…
Browse files Browse the repository at this point in the history
…talled, -p, -package, -optional, -experimental, -standard
  • Loading branch information
mkoeppe committed Nov 30, 2020
1 parent 020bd59 commit 87dad36
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 40 deletions.
10 changes: 0 additions & 10 deletions build/bin/sage-site
Original file line number Diff line number Diff line change
Expand Up @@ -128,16 +128,6 @@ if [ "$1" = '-standard' -o "$1" = "--standard" ]; then
exec sage-list-packages standard $@
fi

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

if [ "$1" = '-p' ]; then
echo "Error: Installing old-style SPKGs is no longer supported."
exit 1
fi

if [ "$1" = '-info' -o "$1" = '--info' ]; then
shift
for PKG in "$@"
Expand Down
30 changes: 0 additions & 30 deletions src/bin/sage
Original file line number Diff line number Diff line change
Expand Up @@ -974,27 +974,6 @@ install() {
exit 0
}


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

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

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

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

if [ "$1" = '-installed' -o "$1" = "--installed" ]; then
shift
exec sage-list-packages all --installed-only $@
Expand All @@ -1009,15 +988,6 @@ if [ "$1" = '-p' ]; then
install "$@"
fi

if [ "$1" = '-info' -o "$1" = '--info' ]; then
shift
for PKG in "$@"
do
sage-spkg --info "$PKG" || exit $?
done
exit 0
fi

if [ "$1" = '-sdist' -o "$1" = "--sdist" ]; then
maybe_sage_location
shift
Expand Down

0 comments on commit 87dad36

Please sign in to comment.