Skip to content

Instantly share code, notes, and snippets.

Tom King mobilemind

Block or report user

Report or block mobilemind

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
mobilemind /
Created Sep 5, 2018
quickly check headers & TLS negotiation using curl
#!/usr/bin/env bash
curl -sv --connect-timeout 15 --head -i '' > /dev/null
# strip audio from a video and save as m4a
ffmpeg -i input.mp4 -vn -c:a copy output.m4a
# replace audio track with audio track in identical (m4a) format
ffmpeg.exe -i input_video.mp4 -i replacement_audio.m4a -vcodec copy -acodec copy -map 0:0 -map 1:0 output.mp4
# replace audio, matching file's audio codec (encodes only audio)
ffmpeg.exe -i input_video.mp4 -i replacement_audio.m4a -vcodec copy -map 0:0 -map 1:0 output.mp4

Keybase proof

I hereby claim:

  • I am mobilemind on github.
  • I am mobilemind ( on keybase.
  • I have a public key whose fingerprint is CFA6 8D4C DC83 0020 6373 2E79 59A6 4A93 6EB1 D9B3

To claim this, I am signing this object:

mobilemind / rtm-add.js
Created Apr 11, 2016
Remember the Milk bookmarklet to add current selected text & web page as a task due tomorrow using RTM Mobile web app
View rtm-add.js
// javascrip
// (function(){var n,w;if(window.getSelection)n=window.getSelection();else if(document.getSelection)n=document.getSelection();else if(document.selection)n=document.selection.createRange().text;''+encodeURIComponent(null===n||undefined===n||''==n?document.title:n)+'&due=tomorrow&u
mobilemind /
Created May 15, 2015
remove orientation information from iPhone JPEG image using exif on jpg file
for PHOFILE in Photo*.jpg ; do exiftool -Orientation='' "$PHOFILE" ; done
mobilemind / setFileDateToEXIFDate
Created May 10, 2014
set file date to EXIF date
View setFileDateToEXIFDate
# depends on exiftool
for TKJF in photo\(?\).jpg
do touch -t "$(exiftool -DateTimeOriginal -S "$TKJF" | awk '{gsub(":","",$0); print $2 substr($3, 1, 4) "." substr($3, 5, 6) }')" "$TKJF"
mobilemind /
Last active Jun 5, 2020
how to delete a git tag locally and remote
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName
mobilemind /
Created Jul 7, 2013
uninstall Java on OS X
# Java VM sym link
sudo ln -s /Library/Java/JavaVirtualMachines /System/Library/Java/JavaVirtualMachines
# Java browser plugin
sudo rm -f /Library/Internet Plug-Ins/JavaAppletPlugin.plugin
npm config set proxy http://proxy_host:port
#!/usr/bin/env bash
defaults write com.parallels.Parallels\ Desktop ProductPromo.ForcePromoOff -bool YES
You can’t perform that action at this time.