Skip to content

Instantly share code, notes, and snippets.

@jschaul
jschaul / gist:ee727b145cbe1d3a571ab1407034c898
Last active March 22, 2022 11:38
weeder log 2022-03-22
lib/src/Network/Wire/Simulations.hs:182: mkTextMsg
migrate-data/src/Spar/DataMigration/V2_UserV2.hs:208: resolveNothing
src/Bilge/Assert.hs:161: assert
src/Bilge/Assert.hs:165: assert_
src/Bilge/IO.hs:255: delete'
src/Bilge/IO.hs:117: handleRequest
src/Bilge/IO.hs:254: head'
src/Bilge/IO.hs:282: httpDebug
src/Bilge/IO.hs:235: options
src/Bilge/IO.hs:256: options'
@jschaul
jschaul / emojione-fonts-for-linux-wire.sh
Created September 25, 2019 12:47
Colorful emojis on Linux
#!/usr/bin/env bash
# Script for instructions at this page:
# https://github.com/wireapp/wire-desktop/wiki/Colorful-emojis-on-Linux
set -e
set -o pipefail
tmp=$(mktemp)
curl -sSLf https://github.com/emojione/emojione-assets/releases/download/4.5/emojione-android.ttf > "$tmp"

Keybase proof

I hereby claim:

  • I am jschaul on github.
  • I am jschaul (https://keybase.io/jschaul) on keybase.
  • I have a public key ASDW2l3GOFNk0Pzq-9J_XcKRg9M8aHh407y0SQbfevCrrQo

To claim this, I am signing this object:

@jschaul
jschaul / cleanGitBranches.sh
Created April 7, 2014 15:02
delete git feature branches that are no longer needed since they have been merged.
#assumes that there is a "develop" branch
git checkout develop
echo "the following branches have been merged into the develop branch."
echo "By proceeeding they will be purged from your local machine and from the remote:"
git branch --merged | grep -v "\*" | grep -v "master" | grep -v "develop" | xargs -n 1
while true; do
read -p "Do you want to proceed? (y/n): " yn