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:A9036A1979593292CC5B7BBCCCF49B90CAF707C1]
#!/usr/bin/env bash | |
# | |
# Script to remove GPG user (recipient) with git-crypt | |
# | |
# It will re-initialize git-crypt for the repository and re-add all keys except | |
# the one requested for removal. | |
# | |
# Note: You still need to change all your secrets to fully protect yourself. | |
# Removing a user will prevent them from reading future changes but they will | |
# still have a copy of the data up to the point of their removal. |
{ | |
"$schema": "https://lnav.org/schemas/format-v1.schema.json", | |
"yagna_log" : { | |
"title" : "Yagna Log Format", | |
"regex" : { | |
"basic" : { | |
"pattern" : "^\\[(?<timestamp>\\d{4}-\\d{2}-\\d{2}(T| )\\d{2}:\\d{2}:\\d{2}(Z|,\\d{3})) (?<level>\\w+) +(?<component>[\\w:.]+)\\] (?<body>.*)$" | |
} | |
}, | |
"level" : { |
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:A9036A1979593292CC5B7BBCCCF49B90CAF707C1]
CC := gcc | |
CXX := g++ | |
CPPFLAGS := | |
CFLAGS := -std=c11 -O2 -Wall -Wextra | |
CXXFLAGS := -std=c++14 -O2 -Wall -Wextra | |
LDFLAGS := | |
LDLIBS := -lstdc++ | |
COBJS := | |
CXXOBJS := main.o | |
OBJS := $(COBJS) $(CXXOBJS) |
CC := gcc | |
CXX := g++ | |
CPPFLAGS := | |
CXXFLAGS := -std=c++14 -O2 -Wall -Wextra | |
LDFLAGS := | |
LDLIBS := -lstdc++ | |
OBJS := main.o | |
EXE := main | |
all: $(EXE) |
/* | |
primes = filterPrime [2..] | |
where filterPrime (p:xs) = | |
p : filterPrime [x | x <- xs, x `mod` p /= 0] | |
main = print $ take 10 primes | |
*/ | |
#include <iostream> |
#!/bin/bash | |
numeric_or_default() { | |
local -i val="$1" | |
local -i default="$2" | |
if [[ "$1" == "$val" ]]; then | |
echo "$val" | |
else | |
echo "$default" | |
fi |
#!/bin/bash | |
if (( $# != 1 )); then | |
echo "Usage: $(basename "$0") /tmp/path/to/socket" | |
exit 1 | |
fi | |
if [[ ! -S "$1" ]]; then | |
echo "$1 is not a socket" | |
exit 2 |
#!/bin/bash | |
if (( $# != 3 )); then | |
echo "usage: $(basename "$0") type hash filename" | |
exit 1 | |
fi | |
type="$1" | |
hash="$2" | |
filename="$3" |
#!/bin/bash | |
while (( $# > 0 )); do | |
objcopy --only-keep-debug "$1" "${1}.debug" | |
strip -g "$1" | |
objcopy --add-gnu-debuglink="${1}.debug" "$1" | |
shift | |
done |