-
-
Notifications
You must be signed in to change notification settings - Fork 654
Closed
Milestone
Description
Instead of parsing the options to sage -i
both in src/bin/sage
and in sage-spkg
, parse them just in sage-spkg
(without requiring a specific order).
Component: scripts
Author: Jeroen Demeyer
Branch/Commit: 4eb1aa8
Reviewer: Volker Braun
Issue created by migration from https://trac.sagemath.org/ticket/19104