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


發佈了172 篇原創文章 · 獲贊 15 · 訪問量 8萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章