Skip to content

Instantly share code, notes, and snippets.

View egeerardyn's full-sized avatar

Egon Geerardyn egeerardyn

  • Brussels, Belgium
View GitHub Profile
@boneskull
boneskull / .bash_profile
Created October 21, 2015 08:06
Open any man page (using "man") in Dash.app
function encodeuri {
local string="${@}"
local strlen=${#string}
local encoded=""
for (( pos = 0; pos < strlen; pos ++ )); do
c=${string:$pos:1}
case "$c" in
[-_.~a-zA-Z0-9]) o="${c}" ;;
*) printf -v o '%%%02x' "'$c"