使用init.sage启动sage CLI

问题描述 投票:1回答:1

所以我正在玩Sage和Python。

但是我总是在更改文件后结束

CTRL-D
> sage
sage: load("init.sage")

有没有办法启动预加载init文件的Sage CLI?

或者,我可以调用sage init.sage并最终进入Sage CLI吗?

python command-line-interface sage
1个回答
1
投票

The "Sage startup scripts" page in the SageMath reference manual提到SAGE_STARTUP_FILE环境变量,它控制哪个文件用作初始化文件。

如果init.sage目录下有my_dir文件,请更改为my_dir并运行:

$ SAGE_STARTUP_FILE='init.sage' sage

和Sage将使用这个本地init.sage文件而不是DOT_SAGE目录中的文件。

插图:

$ echo "print('\n   Using custom init file\n')" > my_init.sage
$ SAGE_STARTUP_FILE='my_init.sage' sage -q

   Using custom init file

sage: 

笔记:

  • 如果存在具有该名称的文件,echo "stuff" > my_file将擦除并替换my_file
  • sage -q以“安静”模式启动Sage,即不显示横幅。
© www.soinside.com 2019 - 2024. All rights reserved.