工具
关注
分享
扫一扫
文章平均质量分 59
TianFengZhiYu
这个作者很懒，什么都没留下…
展开
-
windows下github傻瓜式使用心得
新手，傻瓜教程。首先，安装不用说了吧，注册大家也都会。从建立开始，在网页上点下面那个按钮填个名字就OK了。然后是本机，登陆，选好路径。我建议把路径直接选到工作空间，会方便许多。然后很关键，以eclipse为例，先创建一个空白的项目，然后从系统的资源管理器中把文件夹的名字随便改成其他的。接着在github的客户端中选择建立的项目clone到本地，由于有一些其他的东原创 2013-03-31 15:48:50 · 953 阅读 · 0 评论 -
linux下shell学习
对于博主这样的小白，每次重装linux都是痛苦的，软件安装好麻烦啊！所以决定多多学习shell，把每次安装软件的步骤写成shell脚本，分享给大家。不定期更新。注意：脚本中的文件名是我下载的文件名，各位视情况修改。#ubuntu下常用软件安装#!/bin/shuid=$(id -u)if [ "$uid" != "0" ]then echo 请以ROOT身份运行 ex原创 2013-07-01 11:05:29 · 1379 阅读 · 3 评论 -
求解器Z3（未完，更新中）
正在学习求解器Z3，好多不懂的地方，资料也几乎没有。将自己的学习成果写出来，希望可以多交流原创 2013-10-17 18:09:15 · 4742 阅读 · 3 评论