简介
介绍git本地分支如何重命名及更新到仓库
命令
- 重命名分支
git branch -m <旧分支名> <新分支名>
- 删除远端旧分支
git push origin :<旧分支名>
ps.注意旧分支名前加冒号
- push新分支到远端
git push origin <新分支名>
介绍git本地分支如何重命名及更新到仓库
git branch -m <旧分支名> <新分支名>
git push origin :<旧分支名>
ps.注意旧分支名前加冒号
git push origin <新分支名>
php按指定概率获得key
<?php
function getkey()
{
$pro = [
'key1' =>80, //80%出现概率
'key2' =>20, //20%出现概率
];
$ret = '';
$sum = array_sum($pro);
foreach($pro as $k=>$v)
{
$r = mt_rand(1, $sum);
if($r <= $v)
{
$ret = $k;
break;
}else{
$sum = max(0, $sum - $v);
}
}
return $ret;
}
echo getkey();
本文主要介绍如何在emacs中,自动安装/更新package
Continue reading
本文主要介绍如何替换ubuntu 18.04
下启动页面的背景。
Continue reading
本文主要介绍如何使用docker快速搭建实验环境,熟悉mysql主从复制配置。
如果不带WHERE条件子句,它将会返回被连接的两个表的笛卡尔积,返回结果的行数等于两个表行数的乘积;
在ubuntu下直接安装emacs, fcitx时,运行emacs切换不了输入法,即不能输入中文。本文主要讲解如何用最少的命令即可在系统中使用fcitx来输入中文。
export LC_CTYPE="zh_CN.UTF-8"
sudo locale-gen
使用Ubuntu系统自带命令快速生成随机数
# 生成含有数字和大小写字母的6位数字符串
cat /dev/urandom | LC_CTYPE=C tr -dc '0-9a-zA-Z' | fold -w 6 | head -n 1
# 生成纯数字的8位数字
cat /dev/urandom | LC_CTYPE=C tr -dc '0-9' | fold -w 8 | head -n 1
有兴趣的同学可以把命令改写成alias方便调用
作为一个码农通常会拥有github,公司的gitlab/gerrit或个人搭建的gitlab等两个及两个账号。公司提交代码时,通常是用公司的邮箱和用户名提交代码。而像github这种我们又希望用个人邮箱和昵称来提交。当然你可以为每个项目单独本地配置user.email
和user.name
信息。但组织的git仓库越来越多时,这种方式就显得繁琐多了。下面主要就是讲解如何为一个组织全局配置一个单独的用户信息。
ps. 2.13.0版本起支持includeIf
Continue reading