共 6 篇文章 |
|
Unknown media type in type ''all/all''Unknown media type in type ''all/allfiles''Unknown media type in type ''uri/mms''Unknown media type in type ''uri/mmst''Unknown media type in type ''uri/mmsu''Unknown media type in type ''uri/p... 阅116 转0 评0 公众公开 15-07-17 15:10 |
vagrant box add 添加box的操作vagrant init 初始化box的操作vagrant up 启动虚拟机的操作vagrant ssh 登录拟机的操作。$ vagrant package[default] Attempting graceful shutdown of VM...[default] Clearing any previously set forwarded ports...[default] Creating temporary directory for export...[default] Exporting VM...[default] ... 阅1820 转2 评0 公众公开 15-07-17 10:54 |
{"cmd": ["konsole","--hold","-e","python","-u","${file}"],"file_regex": "^[ ]*File \"(...*?)\", line ([0-9]*)","selector": "source.python"}第二种方式:去掉--hold参数,自己写一个runpython替代原来的pyt... 阅2475 转2 评1 公众公开 15-07-17 10:38 |