David Scholz pgrepds

## gist:a0baf1df7c291908a63de3b437f53e10
Sqash the latest 6 local commits into one new commit.

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

## gist:297d6ef710d4006cac5916160287da6c
xcrun simctl erase all

## gist:761ebdbeefdbed54683c6220504ed0d1
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 first.last@example.com`
 * 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`

## graph.lean
-- 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.

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

<< IGraphM`

## gist:b78d8ca1914414a4219d71a26bd6b247
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.

## gist:812b21e16640fee9fae22449d66ce312
git config --global url.ssh://git@github.com/.insteadOf https://github.com/

## gist:fa67a3077f6064f5f1754847a3effb80
killall -3 gnome-shell

## openpgp.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                pgrepds
                / openpgp.md
            
            
              Last active
              November 6, 2021 22:28
            
          
    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]

  
## Git enable gpg sign global config
git config --global user.signingKey <fingerprint>
git config --global commit.gpgSign true
	Sqash the latest 6 local commits into one new commit.

	git reset --soft HEAD~6 && git commit
	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 first.last@example.com`
	* 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`
	-- 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.
	Get["https://raw.githubusercontent.com/szhorvat/IGraphM/master/IGInstaller.m"]

	<< IGraphM`
	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.
	git config --global user.signingKey <fingerprint>
	git config --global commit.gpgSign true