Ubuntu14.10配置gedit

    今天按照复旦yangyue大神的安利贴配置了下gedit。感谢叉姐提供的平台,安利贴传送门:http://async.icpc-camp.org/d/108-yy/36


    早上试了下,发现没有配置成功,然后按照回复里youtube的视频修改了脚本,就ok了。


    下面贴出脚本的代码:

直接调试(Crtl+F8):

#!/bin/bash


FILE=$GEDIT_CURRENT_DOCUMENT_NAME
OUT=${FILE%.*}

g++ -ggdb -std=c++11 -o $OUT -Wall -Wshadow $FILE  && gnome-terminal --working-directory=$CURRENT_GEDIT_DOCUMENT_DIR -e "bash -c \"gdb ./$OUT\" ";




使用.in文件(Ctrl+F10):

#!/bin/bash


FILE=$GEDIT_CURRENT_DOCUMENT_NAME
OUT=${FILE%.*}

if [ -f $OUT.in ]; then
g++ -std=c++11 -o $OUT -O2 -Wall -Wshadow $FILE && gnome-terminal --working-directory=$CURRENT_GEDIT_DOCUMENT_DIR -e "bash -c \"time ./$OUT < $OUT.in; read \" ";
else
g++ -std=c++11 -o $OUT -O2 -Wall -Wshadow $FILE && gnome-terminal --working-directory=$CURRENT_GEDIT_DOCUMENT_DIR -e "bash -c \"time ./$OUT; read \" ";
fi;




接着是安装gedit插件,能够实现代码折叠、高亮显示等。

sudo apt-add-repository ppa:ubuntu-on-rails/ppa  --添源加到源列表/etc/apt/sources.list中
sudo apt-get update                              --更新源列表
sudo apt-get install gedit-gmate                 --安装gedit-gmate 





gedit-plugins一直安装失败。不过,gedit-gmate差不多够用。所以,就不管它了。


  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值