联赛的gedit脚本

贡献者：caidd 类别：代码时间：2018-11-06 21:40:21 收藏数：13 评分：0

#!/bin/sh
fullname=$GEDIT_CURRENT_DOCUMENT_NAME
name=`echo $fullname | cut -d. -f1`
suffix=`echo $fullname | cut -d. -f2`
g++ $fullname -lm -o $name && echo "fuck";
dir=$GEDIT_CURRENT_DOCUMENT_DIR
gnome-terminal --hide-menubar
--working-directory=$dir " terminal-$name" -x bash -c "time $dir/$name; echo;echo 'fuckyou';read"

上一篇：emacs编译配置

下一篇：新概念英语4 L1 Finding fossill man

声明：以上文章均为用户自行添加，仅供打字交流使用，不代表本站观点，本站不承担任何法律责任，特此声明！如果有侵犯到您的权利，请及时联系我们删除。

文章热度：★☆☆☆☆

文章难度：★★★★☆

文章质量：☆☆☆☆☆

说明：系统根据文章的热度、难度、质量自动认证，已认证的文章将参与打字排名！