- First find the Hockeypuck hash of the key(s) to be removed via the web search of your key server instance;
- On the index, copy the hash value (
Hash=HASHVALUE
) (it's the hex representation of MD5); - Connect to the PostgreSQL interface of your Hockeypuck server;
psql hkp
- Find the corresponding keys from their hash value;
select rfingerprint from keys where md5 in ('HASHVALUE');
- This will return the corresponding fingerprints;
- Then delete the associated sub-keys;
This steps and links provided in this gist are significantly outdated (having been created in 2020) and should not be followed. I will look into updating them when time permits.
Raspberry Pi OS is a Debian Linux derivative for the Raspberry Pi. "KVM" is a native open source virtual machine management service for Linux workstations and servers that leverages QEMU and libvirt. There are a variety of recipes for getting Raspberry Pi OS guest virtual machine up and running on KVM. Having tried many of these, this is the one I now use. Tested on Ubuntu 18.04 LTS Desktop, with all that implies (YMMV).
This is a "just for fun" project that I don't expect to make serious use of. With several actual Pi boards around the workshop, being able to reliably run on an emulator isn't really a major need.
<?php | |
// where to log errors and successful requests | |
define('LOGFILE', '/tmp/github-webhook.log'); | |
// what command to execute upon retrieval of a valid push event | |
$cmd = 'update-jekyll.sh 2>&1'; | |
// the shared secret, used to sign the POST data (using HMAC with SHA1) | |
$secret = '00000000000000000000000000000000'; |
<?php | |
/** | |
* GitHub webhook handler template. | |
* | |
* @see https://docs.github.com/webhooks/ | |
* @author Miloslav Hůla (https://github.com/milo) | |
*/ | |
$hookSecret = 's.e.c.r.e.t'; # set NULL to disable check |