码迷,mamicode.com
首页 > 其他好文 > 详细

如何把getdit打造成编译器

时间:2018-12-12 15:04:08      阅读:302      评论:0      收藏:0      [点我收藏+]

标签:文本编辑   ide   line   时间   不能   ctr   ESS   color   ext   

最开始用linux的时候,学长们都教我用emacs,按照其说法:"这是学长/前辈们留下的经验,绝对不能抛弃";

不过除了emacs之外,学长们也有用guide的;

然后我当时就一个想法:"这软件真TM难用";

后来等我熟悉了快捷键,为了(装逼)提高效率,我就使用了emacs terminal.

后来我的同学给我安利了一种更装逼的方法:gedit和shell各放屏幕两边,一边码代码,一边编译运行

这种蠢但是装逼的方式我用了一段时间,于是就开始思考有没有更好(装逼)的方式

某天就发现gedit可以自定义快捷键

首先 文本编辑器--->首选项--->插件--->外部工具

技术分享图片

技术分享图片

然后重启gedit

就会发现多出来一个管理外部工具

技术分享图片

然后添加新工具"Compiling"

设置快捷键 Ctrl+F10

里面写入bash指令:

 1 #!/bin/sh
 2 fullname=$GEDIT_CURRENT_DOCUMENT_NAME
 3 name=`echo $fullname | cut -d. -f1`
 4 sec=`echo $fullname | cut -d. -f2`
 5 dir=$GEDIT_CURRENT_DOCUMENT_DIR
 6 if [ "$sec"x = cppx ];then
 7     if g++ $fullname -o $name -Wall;then
 8         echo "Compiled successfully."
 9         gnome-terminal --hide-menubar --working-directory=$dir -t "$name" -x bash -c "time $dir/$name;echo ‘--------------------------------------------------------------------------‘;echo ‘please enter any key to continue.‘;read;"
10     else
11         echo "Compiled failed.";
12     fi
13 fi
14 if [ "$sec"x = shx ];then
15     gnome-terminal --hide-menubar --working-directory=$dir -t "$name" -x bash -c "time sh $dir/$fullname;echo ‘--------------------------------------------------------------------------‘;echo ‘please enter any key to continue.‘;read;"
16 fi
17 if [ "$sec"x = pyx ];then
18     gnome-terminal --hide-menubar --working-directory=$dir -t "$name" -x bash -c "time python $dir/$fullname;echo ‘--------------------------------------------------------------------------‘;echo ‘please enter any key to continue.‘;read;"
19 fi

然后把保存和输入改为当前文档

如图:

技术分享图片

然后就可以按Ctrl+F10编译运行了

我写的这个shell可以编译&运行 C++&bash&python

然后我就把这个方法分享给了同届,带头离经叛道hiahiahia

如何把getdit打造成编译器

标签:文本编辑   ide   line   时间   不能   ctr   ESS   color   ext   

原文地址:https://www.cnblogs.com/nlKOG/p/10107933.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!