Skip to content

Instantly share code, notes, and snippets.

View erguotou520's full-sized avatar

erguotou erguotou520

View GitHub Profile
@y0ngb1n
y0ngb1n / docker-registry-mirrors.md
Last active June 21, 2024 19:47
国内的 Docker Hub 镜像加速器,由国内教育机构与各大云服务商提供的镜像加速服务 | Dockerized 实践 https://github.com/y0ngb1n/dockerized
@frankmanzhu
frankmanzhu / gist:9fe6ac5b51916c1fd6410f70c1c61f21
Last active March 13, 2019 04:38
Install RancherOS on VirtualBox and configure it for ssh access
Run ssh-keygen
echo -e "#cloud-config\nssh_authorized_keys:\n - $(cat .ssh/id_rsa.pub)" > $HOME/cloud-config.yml
After boot rancherOS
sudo scp frank@xxx:/home/frank/cloud-config.yml .
sudo ros install -d /dev/sda -c cloud-config.yml
@gunjanpatel
gunjanpatel / revert-a-commit.md
Last active June 11, 2024 19:48
Git HowTo: revert a commit already pushed to a remote repository

Revert the full commit

Sometimes you may want to undo a whole commit with all changes. Instead of going through all the changes manually, you can simply tell git to revert a commit, which does not even have to be the last one. Reverting a commit means to create a new commit that undoes all changes that were made in the bad commit. Just like above, the bad commit remains there, but it no longer affects the the current master and any future commits on top of it.

git revert {commit_id}

About History Rewriting

Delete the last commit

Deleting the last commit is the easiest case. Let's say we have a remote origin with branch master that currently points to commit dd61ab32. We want to remove the top commit. Translated to git terminology, we want to force the master branch of the origin remote repository to the parent of dd61ab32:

@ninehills
ninehills / CandyTypeSharpFixGBK.ini
Last active May 23, 2018 01:59
Candy MacType Config for GBK
[General]
Icon=Candy.ico,0
DirectWrite=1
HintSmallFont=1
HintingMode=1
AntiAliasMode=2
NormalWeight=10
BoldWeight=1
ItalicSlant=-2
EnableKerning=0
@AliMD
AliMD / gist:3344523
Created August 13, 2012 22:28
All github Emoji (Smiles)

All github Emoji (Smiles)

ali.md/emoji

:bowtie: | 😄 | 😆 | 😊 | 😃 | ☺️ | 😏 | 😍 | 😘 | :kissing_face: | 😳 | 😌 | 😆 | 😁 | 😉 | :wink2: | 👅 | 😒 | 😅 | 😓

😩 | 😔 | 😞 | 😖 | 😨 | 😰 | 😣 | 😢 | 😭 | 😂 | 😲 | 😱 | :neckbeard: | 😫 | 😠 | 😡 | 😤 | 😪 | 😋 | 😷

😎 | 😵 | 👿 | 😈 | 😐 | 😶 | 😇 | 👽 | 💛 | 💙 | 💜 | ❤️ | 💚 | 💔 | 💓 | 💗 | 💕 | 💞 | 💘 | ✨