首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >使用init.sage启动sage命令行界面

使用init.sage启动sage命令行界面
EN

Stack Overflow用户
提问于 2017-01-29 23:47:16
回答 1查看 176关注 0票数 1

因此,我正在尝试使用Sage和Python。

但我总是在更改文件后使用

代码语言:javascript
复制
CTRL-D
> sage
sage: load("init.sage")

有没有办法在预加载init-file的情况下启动Sage CLI?

或者,我是否可以调用sage init.sage并在Sage CLI中结束?

EN

回答 1

Stack Overflow用户

发布于 2018-11-24 02:23:48

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

如果my_dir目录中有一个init.sage文件,请切换到my_dir并运行:

代码语言:javascript
复制
$ SAGE_STARTUP_FILE='init.sage' sage

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

插图:

代码语言:javascript
复制
$ 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将在“安静”模式下启动my_file,即不显示横幅。
票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/41922740

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档