- 博客(7)
- 资源 (21)
- 收藏
- 关注
原创 Prolog 开发环境搭建
工欲善其事必先利其器, Prolog 作为一个逻辑编程语言,有一个好的工具也是事半功倍的。Prolog 作为老牌语言,编译器自然有好多,不需要全部都会使用,找一个适合自己的操作环境。Windows 环境下:visual-prolog、 turbo prologLinux(主要测试过 Ubuntu)下:SWI-prolog、gprologMac 环境下:amzi-prolog其实
2017-04-18 11:30:47 8901 1
转载 Linux 在命令行中创建和展示幻灯片的教程
你在准备一场演讲的时候,脑海可能会先被图文并茂、形象华丽的演示图稿所占据。诚然,没有人会否认一份生动形象的演讲稿所带来的积极作用。然而,并非所有的演讲都需要TED Talk的质量。更多时候,演讲稿只为传达特定的信息。 而这个,使用文本信息足以完成。在这种情况下,你的时间可以更好的花在信息的搜集和核实上面,而不是在谷歌图片搜索(Google Image)上寻找好看的图片。在Linux的世界里
2017-04-06 10:55:13 669
转载 Ubuntu 14.04 LTS 命令行快速打开各类型文件
在Ubuntu下,当需要打开其他格式文件时,咱们通常做法是进入到文件所在的目录,双击打开,很影响效率。事实上,可以通过命令xdg-open打开这些格式文件,甚至是网页,像打开文件一样简单。 在Ubuntu下,通常用命令行打开文本文件,比如用命令gedit、more、cat、vim、less。但当需要打开其他格式文件时,比如pdf、jpg、mp3格式文件,咱们通常做法是进入到文
2017-04-05 16:05:41 2043
原创 html <meta>设置自动刷新或者几秒内跳转到指定页面
指定时间自动刷新:meta http-equiv="refresh" content="2"/>指定时间跳转到指定页面:meta http-equiv="refresh" content="5;URL=http://www.baidu.com"/>
2017-04-05 16:00:01 2316
原创 Ubuntu 14.04 LTS sudo 无法解析
1. 打开 hosts 配置文件sudo vi /etc/hosts2. 修改配置文件将127.0.1.1localhost改为127.0.1.1自己的主机名或在127.0.1.1localhost之后新添加一行127.0.1.1自己的主机名3. 查看主机名hostname
2017-04-05 15:57:49 521
小米路由器4A千兆版魔改openwrt-ramips-mt7621-xiaomi-r4a-squashfs-sysupgrade
2023-03-21
WinaeroTweaker:系统功能修改器
2023-02-08
cx-extractor
2022-04-01
Django3-Xadmin3修复版.zip
2020-05-09
OAuth2.0协议中文版.pdf
2020-03-27
【JustTrustMe】破解 app 爬虫网络问题
2019-05-15
【JustTrustMe】破解 app 爬虫网络问题
2019-05-15
【AndroidFile】Mac & Android 文件互传
2019-05-15
Linux Selenium3 环境集成包
2018-06-20
Selenium2 浏览器驱动 chromedriver
2018-06-15
YUMI – Multiboot USB Creator-(一个U盘装多个Linux发行版的U启集合包)
2017-06-16
PHP html 爬虫类库
2017-04-21
jquery.mobile-1.4.5
2016-07-21
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人