gedit配置
編輯 \(\rightarrow\) 首選項 \(\rightarrow\) 插件 \(\rightarrow\) 外部工具 啟用
進入工具 \(\rightarrow\) Manage External Tools...
點擊 '+' 添加幾個快捷鍵:
編譯
#!/bin/sh name=$GEDIT_CURRENT_DOCUMENT_NAME pre=${name%.*} g++ $name -o $pre編譯運行
#!/bin/sh dir=$GEDIT_CURRENT_DOCUMENT_DIR name=$GEDIT_CURRENT_DOCUMENT_NAME pre=${name%.*} g++ $name -o $pre if test $? -eq 0; thengnome-terminal -x bash -c "time $dir/$pre;read" fi注釋
#!/bin/sh sed 's/^/\/\//'輸入和輸出為選中區域
取消注釋
#!/bin/sh sed 's/\/\///'輸入和輸出為選中區域
一些快捷鍵
可以用 Ctrl+F9 關閉底部界面。
轉載于:https://www.cnblogs.com/yqgAKIOI/p/10827590.html
總結
- 上一篇: 爬虫 --通用篇
- 下一篇: Centos jdk