Skip to content

Instantly share code, notes, and snippets.

View procursor's full-sized avatar

procursor

1 follower · 1 following
View GitHub Profile
@procursor
procursor / image.resize.in.github.flavored.markdown.md
Created February 11, 2021 21:58 — forked from uupaa/image.resize.in.github.flavored.markdown.md
image resize in github flavored markdown.

Image source

https://gyazo.com/eb5c5741b6a9a16c692170a41a49c858.png

Try resize it!

  • ![](https://gyazo.com/eb5c5741b6a9a16c692170a41a49c858.png | width=100)
@procursor
procursor / chrome-devtools.md
Created January 23, 2021 07:43 — forked from vbsessa/chrome-devtools.md
How to customize Chrome devtools fonts

  1. Enable #enable-devtools-experiments flag in chrome://flags section.

  2. Open Chorme Devtools and check Settings > Experiments > Allow custom UI themes.

  3. Create the following four files in a dedicated folder.

    3.1. devtools.html

    <html>
<head></head>
<body><script src="devtools.js"></script></body>
@procursor
procursor / gist:1d9fecd41da0fc384a959795cd34e0ae
Created January 14, 2021 03:12 — forked from asabaylus/gist:3071099
Github Markdown Heading Anchors

Anchors in Markdown

To create an anchor to a heading in github flavored markdown. Add - characters between each word in the heading and wrap the value in parens (#some-markdown-heading) so your link should look like so:

[create an anchor](#anchors-in-markdown)

@procursor
procursor / gist:a36b3af7ee68e7bdcfc714f163e02b9b
Last active January 4, 2021 01:12 — forked from dsci/gist:1347672
Delete commits from repository.
# First, check out the commit you wish to go back to (get sha-1 from git log)
git reset --hard 9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a
# Then do a forced update.
git push origin +9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a^:develop
# Push specific commit
git push origin 9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a:develop -f