Skip to content

Instantly share code, notes, and snippets.

View zhaldak's full-sized avatar

Zhaldak Anton zhaldak

0 followers · 2 following
View GitHub Profile
@zhaldak
zhaldak / TweakPvsReport.js
Created November 5, 2023 20:23
// ==UserScript==
// @name Tweak PVS report
// @namespace http://tampermonkey.net/
// @version 0.1
// @description try to take over the world!
// @author Anton Zhaldak
// @match https://neovim.io/doc/reports/pvs/PVS-studio.html.d/
// @match https://pulkomandy.github.io/
// @icon data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==
// @grant none
@zhaldak
zhaldak / setup.md
Last active March 10, 2018 15:27 — forked from developius/README.md
Set up GitHub push with SSH keys
  1. Create a repo.
  2. Generate ssh key:
$ ssh-keygen -t rsa -b 4096 -f ~/.ssh/id_rsa_github -C "comment"
  1. Copy the contents of the file ~/.ssh/id_rsa_github.pub to your SSH keys in your GitHub account settings.
  2. Add entry to ~/.ssh/config with rights 0400:
...
host github.com