ubuntu环境配置

(图上面的都是废话,想看干货(雾)的小伙子们可以从图开始往下看)

因为ICPC BEIJING赛区的某些奇怪的环境配置,于是只好熟悉一下没有IDE敲代码是一种怎样的体验了。

因为只能用VIM跟gedit,又因为VIM对本萌新来说过于玄奥,于是只好学习gedit的环境配置了。

装完Ubuntu之后显然应该先美化系统以及安装软件啦(滑稽.jpg),疯狂百度之后系统总算是稍微能看了一点点。

之后就开始配置gedit了,配置之前忍住装cb的想法,在网上找了几篇教程之后发现是需要设置一下外部工具,然后我打开了我的gedit配置,此时神奇的事情发生了,我的外部工具竟然不能成功修改!!!!很烦恼。

次日寻求了一下学长的帮助,发现原来是权限的问题,我gedit的配置文件权限是属于root的,解决方案是先进入/home/username/.config文件里,然后更改tools文件夹的权限,使用如下指令:

sudo chown -R username:username tools/

(Linux弱鸡当然会在底下附上命令的解释啦O(∩_∩)O~~,sudo就不解释了,之后的chown是修改文件权限,-R是递归修改文件下的子文件(ACMer就不解释递归了),username:username是用户以及这个用户的用户组,之后的tools就是要修改权限的文件夹啦,记得用你自己的用户名替换username)

之后就可以愉快的使用外部工具啦O(∩_∩)O~~

 

经过几天的修改(寻求学长以及各路dalao的帮助)已经没有什么大的问题了(除了不能开02开关之外),附上外部工具的脚本文件:

#!/bin/sh

fullname=$GEDIT_CURRENT_DOCUMENT_NAME
dir=$GEDIT_CURRENT_DOCUMENT_DIR
name=`echo $fullname | cut -d. -f1`

if [ -f $name ]; then
    rm -f $name
fi

g++ $fullname -o $name -Wall -g #-std=c++11 -static -lm

if [ ! -f $name ]; then
    exit 1
fi

#echo;echo 'press ENTER to continue';       unnecessary
gnome-terminal --working-directory=$dir -x bash -c "$dir/$name; echo;echo 'press ENTER to continue';read"

保存在所有文档,就可以愉快的使用gedit编程啦O(∩_∩)O~~

posted @ 2017-10-31 21:34  CtrlKismet  阅读(267)  评论(0编辑  收藏  举报