/usr/local/bin/synchome:
#!/usr/bin/env bash
rsync -r --delete $HOME/ /persistent$HOME/usr/local/bin/remountro:
mp2720
mp2720
/ backup.gpg
Created
March 16, 2026 07:22
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| hF4Dvt8em/tSJjoSAQdAqX1KhEQ+yBIk9e1ph0Ed/jCp4TIJKQSpOvXtC3TeYU0wgEO4y8rRUGIX | |
| +hedWXXHSte60g+M4X8tydObMT9R9dcEgKHQht02yVXeoCvhuI5x0v8A0ABEAWtfJjRUrfOIW4VN | |
| reZY+y2vV/GwJYnIXdw40ez+ja2FNqtzLQwKBd1S/1xGQWrb0R4gyERdqfV/mVpDTCsC+NGWOkTt | |
| VRdEdOnBe73mCjgDWD8mTGktHyMg/VKD6rmGfs0qBw1A67J0vek1eO4BmIXXp3ITbcWoAKUyGg3P | |
| BPstp/5CoqBPcZTtQdGBjGZ3cZm0gOe+kqC5yOz8wYJkEqfdId99cNZyP63Jq5ZLEwDpXTkTYv9I | |
| oC39T4TUSSflfVFwEX464N1Gs4nkTewUDSGRubmm4cRxOI2kQWBgU//LOofs05BDsVnQvetagxgz | |
| zSqSd5EL0K34+ohi7B4rzgOVGWVRSz1eQcfiZbJOp0bBgMwMshfTF68qeKwclhvUdRqjwGka3lpg | |
| JOmA6UTSSfepNPFU4F9ng+jkkm7GFvigLXlXpvCjbu6gEm1+hAPUSXwYwDacBl+nuhen6Hzfmi1x | |
| gk7ihpwbRRVpM8UurAHP1dHUonIlmOBmFa/Q1+NGbupfV9iOfefAFnOMqfpkdtEoL4bTSvM2AwfP | |
| KffFrwdOyP8suZTs20Tp+AAsyYB2Xp4dv99F1QoDzQaMxV+M/vs9z2rYpG1/QkZ5aYKtwFKsDV/Q |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE TemplateHaskell #-} | |
| module CFG.FromIR where | |
| import CFG | |
| import qualified Control.Lens.Basic as Lens | |
| import Control.Monad (forM_) | |
| import Control.Monad.Trans.State (State, evalState, get, modify, state) | |
| import qualified Data.Map as Map | |
| import ID (FlatID (..), Symbols, newSymbol) |
mp2720
/ backup PGP public key
Last active
November 12, 2025 11:47
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -----BEGIN PGP PUBLIC KEY BLOCK----- | |
| mDMEaQlj9hYJKwYBBAHaRw8BAQdAxxHp2AYKj7l1WyaoGO+PXtibkOyOC61mKjVF | |
| BmqRmi20BUEgPEI+iJAEExYKADgWIQSDLFpftecIGo3JU4m0CR1gPuk7fAUCaQlj | |
| 9gIbAwULCQgHAgYVCgkICwIEFgIDAQIeAQIXgAAKCRC0CR1gPuk7fNNDAQC1rBkd | |
| 2iLC8Hccka5gKLQs909GXpVvDPyJcdNnMsaMIgD+MYo/Pm1RjbMnB9Btx5DY9lUj | |
| PfgI0ndBM0QOBcJT+AS4OARpCWP2EgorBgEEAZdVAQUBAQdA6WA7Yfm4pKdJYtEe | |
| QTXWNa3gwwF04biy7Wh0Jru2ZDwDAQgHiHgEGBYKACAWIQSDLFpftecIGo3JU4m0 | |
| CR1gPuk7fAUCaQlj9gIbDAAKCRC0CR1gPuk7fN1fAP9CprH3cn2+F/CIHcLY0oQB | |
| yyVxKVTxExi7bGPg8rPIYgEAop2S3RgYiEQHR8ETc8sjYDxb+OKSLRJSuDUpAgxs |
mp2720
/ usbstick.md
Last active
November 24, 2025 09:01
mp2720
/ wg-switch.sh
Created
March 19, 2025 17:14
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| usage() { | |
| cat >&2 << EOF | |
| Usage: $0 down | up INTERFACE | status | |
| Tool for switching between Wireguard interfaces | |
| - down brings all interfaces down | |
| - up INTERFACE brings all interfaces down and then INTERFACE up | |
| - status show up interfaces |