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~~