hexo+github如何建立自己的博客在上节中已经讲过了，详情请见如何用Hexo搭建Github静态博客

本节将介绍如何在不同电脑上同步本地的博客。假设A电脑为建立博客的设备，B电脑为新设备。

A电脑中从本地上传Hexo到Github仓库

• 初始化仓库

在Hexo博客的根目录运行Git Bash并输入以下命令：

1
2

$ git init
$ git remote add origin <server address>

这里指的是在线仓库的地址，比如在这里我的就应该是https://github.com/rolex-cjj/blog.git, 如果你用其它git仓库服务，填写对应仓库地址即可.

origin是本地分支,remote add会将本地仓库映射到Github仓库

形式化模型

所属分类

是软工开发模型中的一种，也可以称为形式化方法模型，与之相关的有形式验证。关于软件开发模型，可以参考这里软件开发模型。

概念

形式化模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。形式化方法的本质是基于数学的方法来描述目标软件系统属性的一种技术。

环境搭建

配置github

注册github账号

配置SSH-KEY

打开git bash，执行以下命令

1

$ ssh-keygen -t rsa -C "youremail@163.com"

输入安装目录及口令，找到目录下.ssh文件夹下id_rsa.pub文件

登陆GitHub->Settings->“SSH Keys”，然后，点“Add SSH Key”，输入Title，在Key文本框里粘贴id_rsa.pub文件的内容，点“Add Key”。

也可以参考Generating an SSH key