Skip to content

Instantly share code, notes, and snippets.

@Inkimar
Inkimar / gist:cd334ef0c379d783d2c369c715aab688
Last active Sep 16, 2019
git, git clone , cloning a single branch , clone branch
View gist:cd334ef0c379d783d2c369c715aab688
pattern:
git clone -b branch --single-branch git://github/repository.git
example:
git clone -b ingimar/version_3.18.1 --single-branch https://github.com/DINA-Web/seqdb-docker.git
ex:
git clone -b spring/version-3.28.1 --single-branch https://github.com/DINA-Web/seqdb-docker.git
@ipbastola
ipbastola / clean-up-boot-partition-ubuntu.md
Last active Jun 22, 2021
Safest way to clean up boot partition - Ubuntu 14.04LTS-x64, Ubuntu 16.04LTS-x64
View clean-up-boot-partition-ubuntu.md

Safest way to clean up boot partition - Ubuntu 14.04LTS-x64, Ubuntu 16.04LTS-x64

Reference

Case I: if /boot is not 100% full and apt is working

1. Check the current kernel version

$ uname -r 
View github-wiki-how-to.md

How do I clone a GitHub wiki?

Any GitHub wiki can be cloned by appending wiki.git to the repo url, so the clone url for the repo https://myorg/myrepo/ is: git@github.com:myorg/myrepo.wiki.git (for ssh) or https://github.com/my/myrepo.wiki.git (for https).

You make edits, and commit and push your changes, like any normal repo. This wiki repo is distinct from any clone of the project repo (the repo without wiki.get appended).

How do I add images to a wiki page?