Skip to content

Instantly share code, notes, and snippets.

View Inkimar's full-sized avatar

Ing Erl Inkimar

14 followers · 28 following
  • Stockholm
  • 04:41 (UTC -12:00)
View GitHub Profile
@subfuzion
subfuzion / github-wiki-how-to.md
Last active April 20, 2024 09:22
GitHub Wiki How-To

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?

@ipbastola
ipbastola / clean-up-boot-partition-ubuntu.md
Last active April 3, 2024 06:54
Safest way to clean up boot partition - Ubuntu 14.04LTS-x64, Ubuntu 16.04LTS-x64

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
@Inkimar
Inkimar / gist:cd334ef0c379d783d2c369c715aab688
Last active September 16, 2019 07:21
git, git clone , cloning a single branch , clone branch
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