会员
周边
众包
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
一年
又是一年春夏秋冬来
博客园
新随笔
联系
订阅
管理
随笔 - 40
文章 - 0
评论 - 1
阅读 -
42478
09 2019 档案
gedit 外部工具——快捷运行
摘要:文本编辑器-首选项-插件-勾选“外部工具” 可快捷编译运行一些代码,适合新手使用。 配置如下。 快捷键:F5 保存:当前文档 输入:无 输出:无 使用范围:所有文档,所有语言 脚本如下。 #!/bin/sh dir=
G
E
D
I
T
C
U
R
R
E
N
T
D
O
C
U
M
E
N
T
D
I
R
n
a
m
e
=
G
E
D
I
T
C
U
R
R
E
N
T
D
O
C
U
M
E
N
T
D
I
R
n
a
m
e
=
GEDIT_CU
阅读全文
posted @
2019-09-25 17:19
一年`
阅读(538)
评论(0)
推荐(0)
公告
昵称:
一年`
园龄:
6年4个月
粉丝:
1
关注:
87
+加关注
搜索
随笔分类
随笔(20)
阅读排行榜
1. 设置frp服务开机自启(11440)
2. 旧版Postman下载(新版必须登录才能导入)(9615)
3. ubuntu22 安装安卓虚拟机 WayDroid(3023)
4. 挂载阿里云盘webdav到本地(1844)
5. Python3实现文件下载,显示下载进度(1641)
推荐排行榜
1. 旧版Postman下载(新版必须登录才能导入)(1)
2. Ubuntu下局域网快速分享文件(1)
点击右上角即可分享