ashgillman

#!/bin/bash
# /etc/openconnect_wrapper

# swap out SIGTERM for openconnect-friendly SIGINT

_term() {
  kill -INT "$child" 2>/dev/null
}
trap _term SIGTERM

meanevo

#---------------------------------------------------------------------
# Global settings
#---------------------------------------------------------------------
global
    log         127.0.0.1 local2

    chroot      /var/lib/haproxy
    pidfile     /var/run/haproxy.pid
    maxconn     2048
    user        haproxy

dckc

spk1.spk: sandstorm-pkgdef.capnp sandstorm-files.list
	spk pack $@

# Destination (in-package) path must not start with '/': /nix/store/6f...
sandstorm-files.list: result
#	nix-store --query --requisites result | sed -e 's,^/,,' >$@
	find $$(nix-store --query --requisites `readlink result`) | sed -e 's,^/,,' >$@

result: default.nix
	rm -rf result

raichoo

module Main where

-- ReaderT is a little more useful as an example
-- think of it as Reader that can also do IO using
-- the `lift` function.
import Control.Monad.Reader
import Text.Printf

type Connection = ()

simonswine

kubectl get rs,secrets -o json --namespace old | jq '.items[].metadata.namespace = "new"' | kubectl create-f  -

AndreyMZ

-- Invoke with: pandoc -t wiki.lua
--
-- Note:  you need not have lua installed on your system to use this
-- custom writer.  However, if you do have lua installed, you can
-- use it to test changes to the script.  'lua wiki.lua' will
-- produce informative error messages if your code contains
-- syntax errors.

local image_index = 0

glogiotatidis

#!/bin/bash
#
# Script to remove GPG key from 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.

martijnvermaat

Installation of NixOS with encrypted root

These are my notes on instaling NixOS 16.03 on a Lenovo ThinkPad X1 Carbon (4th generation) with an encrypted root file system using UEFI.

Most of this is scrambled from the following pages:

• Encrypted Root on NixOS - Nix Wiki
• Installing NixOS - Chris Martin
• Linux administration and use - Earl Douglas
• Installing NixOS on a ThinkPad W540 with encrypted root - Bluish Coder

gallais

module LEM where

open import Data.Empty
open import Data.Product
open import Function
open import Relation.Nullary

∄⇒∀ : {A : Set} {B : A → Set} →
      ¬ (∃ λ a → B a) →
      ∀ a → ¬ (B a)

lukas-h

Markdown License badges

Collection of License badges for your Project's README file.
This list includes the most common open source and open data licenses.
Easily copy and paste the code under the badges into your Markdown files.

Notes

• The badges do not fully replace the license informations for your projects, they are only emblems for the README, that the user can see the License at first glance.

Translations: (No guarantee that the translations are up-to-date)

• 🇫🇷 Cette liste en français