pgrepds

git config --global user.signingKey <fingerprint>
git config --global commit.gpgSign true

pgrepds

This is an OpenPGP proof that connects my OpenPGP key to this Github account. For details check out https://keyoxide.org/guides/openpgp-proofs

[Verifying my OpenPGP key: openpgp4fpr:62EA240EFF8732AE]

pgrepds

killall -3 gnome-shell

pgrepds

git config --global url.ssh://[email protected]/.insteadOf https://github.com/

pgrepds

Install PulseAudio Volume Control (pavucontrol).

Execute the following command.

```
pactl load-module module-loopback latency_msec=1
```

The above will route the microphone output back to the input.

pgrepds

Get["https://raw.githubusercontent.com/szhorvat/IGraphM/master/IGInstaller.m"]

<< IGraphM`

pgrepds

-- This work by Nick Scheel is licensed under CC0 1.0
-- https://creativecommons.org/publicdomain/zero/1.0/

-- A basic framework for graph theory on multidigraphs in Lean
-- and a proof that no_watershed_condition is sufficient to
-- establish that a graph has a unique sink for each vertex
--
-- I hope to give some introduction to the syntax of how Lean works here,
-- but I assume some familiarity with functions, pattern matching,
-- type theory, and proofs.

pgrepds

Fix the author of commits which are already pushed.

To fix the last six commits: 

 * First set the correct author for current Git repo using `git config --local user.name FirstName LastName`
   and `git config --local user.email [email protected]`
 * Then apply to the last six commits `git rebase --onto HEAD~6 --exec "git commit --amend --reset-author --no-edit" HEAD~6`
 * Finally, push using `git push --force-with-lease`

pgrepds

xcrun simctl erase all

pgrepds

Sqash the latest 6 local commits into one new commit.

git reset --soft HEAD~6 && git commit