Skip to content

Instantly share code, notes, and snippets.

View kidchenko's full-sized avatar

Jose Barbosa kidchenko

View GitHub Profile
@waf
waf / plank.idr
Created October 19, 2017 16:02
Plank script in idris
-- Counter app, count up in 30 seconds increments, and
-- then count down the last 10 seconds
module Main
import System
-- given a second, what should we say at that second?
sayWhatAt : Int -> String
sayWhatAt 30 = "30 seconds passed"
sayWhatAt 60 = "1 minute passed"
sayWhatAt seconds =
@bgromov
bgromov / git-reset-author.sh
Created June 23, 2016 17:50
Git: reset author for ALL commits
#!/bin/sh
# Credits: http://stackoverflow.com/a/750191
git filter-branch -f --env-filter "
GIT_AUTHOR_NAME='Newname'
GIT_AUTHOR_EMAIL='new@email'
GIT_COMMITTER_NAME='Newname'
GIT_COMMITTER_EMAIL='new@email'
" HEAD