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差不多够用。所以,就不管它了。


你可能感兴趣的:(Linux)