用Gedit编辑代码挺方便,但是每次都要在终端中输命令来编译再命令执行挺麻烦的,所以写了这个脚本。
这个脚本保存到$HOME/.gnome2/gedit/tool/文件夹下,然后在gedit首选项的插件中设置启用外部工具,然后就能使用了。
这个脚本只用于Linux系统中,快捷键为F5
用Gedit编辑代码挺方便,但是每次都要在终端中输命令来编译再命令执行挺麻烦的,所以写了这个脚本。
这个脚本保存到$HOME/.gnome2/gedit/tool/文件夹下,然后在gedit首选项的插件中设置启用外部工具,然后就能使用了。
这个脚本只用于Linux系统中,快捷键为F5