05 2017 档案

C 格式化显示时间（time.h）
摘要：转自：http://www.cnblogs.com/xudong-bupt/p/3550157.html C/C++程序中需要程序显示当前时间，可以使用标准函数strftime。 函数原型：size_t strftime (char* ptr, size_t maxsize, const char* 阅读全文
posted @ 2017-05-19 09:45 明明是悟空 阅读(3567) 评论(0) 推荐(0)
软件形式化方法概述
摘要：转自：http://blog.csdn.net/lovelion/article/details/8635369 友情提示：本文理论性和专业性较强，如果木有接触过该领域，读起来可能会有一点点吃力，！本文是Sunny结合多份资料综合整理而成，有点凌乱，见谅！ 软件形式化方法(Formal Method 阅读全文
posted @ 2017-05-17 00:07 明明是悟空 阅读(11904) 评论(0) 推荐(0)
git push.default设置
摘要：转自：http://blog.csdn.net/daijingxin/article/details/51326715 在进行一次空仓库的提交时，我遇到了这个警告 警告如下：warning: push.default 未设置，它的默认值将会在 Git 2.0 由 'matching' 修改为 'si 阅读全文
posted @ 2017-05-10 19:49 明明是悟空 阅读(10116) 评论(0) 推荐(0)
Raspbian 中国软件源
摘要：转自：http://shumeipai.nxez.com/2013/08/31/raspbian-chinese-software-source.html 花了些时间整理了目前最新的树莓派中国大陆地区的软件源，记下来，希望对大家有帮助。 中国科学技术大学Raspbian http://mirrors 阅读全文
posted @ 2017-05-09 15:03 明明是悟空 阅读(322) 评论(0) 推荐(0)
Git 常用操作命令
摘要：转自：http://tomhat.iteye.com/blog/2065707 可以创建私有项目的git网站： https://bitbucket.org http://git.oschina.net/ master : 默认开发分支； origin : 默认远程版本库 初始化操作 Ruby代码 $ 阅读全文
posted @ 2017-05-05 11:23 明明是悟空 阅读(379) 评论(0) 推荐(0)
source insight设置tab键为4个空格
摘要：首先通过路径（Options->Document Options）进入以下界面： step 1：将 Visible tabs 打勾。 step 2 ：将 Expand Tabs 打勾。 step 3：设置TAB width，一般为4个空格，即填4。 source insight 4的位置： Opti 阅读全文
posted @ 2017-05-03 11:02 明明是悟空 阅读(17832) 评论(0) 推荐(0)
linux下一个网卡配置多个IP
摘要：转自：http://blog.csdn.net/beckdon/article/details/15815197 最常用的给网卡配置ip的命令为 ＃ifconfig eth0 192.168.0.1 netmask 255.255.255.0 up 说明： eth0是第一个网卡，其他依次为eth1， 阅读全文
posted @ 2017-05-03 09:27 明明是悟空 阅读(7509) 评论(1) 推荐(0)
为网卡配置多个IP地址（windows）
摘要：转自：https://jingyan.baidu.com/article/fcb5aff7e0fd76edaa4a71d3.html 为电脑配置多个IP，免去到不同地点需要更改IP的烦恼。 譬如电脑在公司上网一个IP，在家里上网又一个IP，换个地方就要更改IP，确实很麻烦，这里就为你解决这一烦恼。 阅读全文
posted @ 2017-05-03 09:23 明明是悟空 阅读(4456) 评论(0) 推荐(0)