Thanks.
I've always kind of hated this construction/obfuscation of script names,
because it makes it harder to find out where and how they are used. But
presumably it has its uses.
On Wednesday, February 23, 2022 at 6:17:21 PM UTC-8 Matthias Koeppe wrote:
> On Wednesday, February 23, 2022 at
On Wednesday, February 23, 2022 at 2:21:08 PM UTC-8 John H Palmieri wrote:
> I have questions about some of the scripts in src/bin:
>
>- sage-native-execute: looks like a no-op. Delete?
>- sage-open — used in OS X; can we just use "open"?
>
> Yes on both of these. They have not been