I hereby claim:
- I am johanneswseitz on github.
- I am jseitz (https://keybase.io/jseitz) on keybase.
- I have a public key ASCOIIwVOXVHKr4HRZNuTd0SBuo9vk5pNUELxroV96tPbwo
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
#!/usr/bin/sh | |
set -euo pipefail | |
FS=$'\n\t' | |
mkdir tmp | |
mplayer -ao null "$1" -vo jpeg:outdir=tmp | |
convert tmp/* "$1.gif" | |
convert "$1.gif" -fuzz 5% -layers Optimize "$1.opt.gif" | |
rm -rf tmp |
import java.io.File; | |
import java.io.IOException; | |
import java.nio.file.Path; | |
import java.nio.file.Paths; | |
import java.util.concurrent.TimeUnit; | |
import org.junit.rules.ExternalResource; | |
import de.db.flexfit.conditional.Condition; | |
import de.db.flexfit.conditional.Waiter; |
sed -i "" 's/install.disable.sponsor.offers.*/install.disable.sponsor.offers=true/g' ~/Library/Application\ Support/Oracle/Java/Deployment/deployment.properties | |
defaults write ~/Library/Application\ Support/JREInstaller/ThirdParty SPONSORS -string "0" |
<a class="twitter-timeline" href="https://twitter.com/hashtag/socrates14" data-widget-id="491131372468060160">#socrates14 Tweets</a> | |
<script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0],p=/^http:/.test(d.location)?'http':'https';if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src=p+"://platform.twitter.com/widgets.js";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs");</script> | |
#!/bin/sh | |
agvtool next-version -all | |
NEW_VERSION=`agvtool what-version -terse` | |
MARKETING_VERSION=`agvtool what-marketing-version -terse1` | |
# Generate release notes by taking commit messages prefixed with TF: from git since last tag. | |
git log `git describe --tags --abbrev=0`..HEAD --format=%B | grep "^TF:" | sed 's/TF:/-/g' > whats-new.txt | |
git commit -am "Version bump to $NEW_VERSION" | |
git tag "$MARKETING_VERSION-build-$NEW_VERSION" | |
git push --tags origin master |
#!/bin/sh | |
PREVIOUS="HEAD" | |
for TAG in `git tag | grep "\d*.\d*-build-\d*" | sort -r | head` | |
do | |
echo "========================" | |
echo "Changes in $PREVIOUS" | |
echo "========================" | |
CHANGES=`git log $TAG..$PREVIOUS --format=%B | grep "^TF:" | sed 's/TF:/-/g'` | |
if [[ -z $CHANGES ]] | |
then |
#!/bin/bash | |
#Execute with curl -sL https://raw.github.com/gist/2303751/fix-jenkins.sh | sudo sh | |
PLIST_PATH=/Library/LaunchDaemons/org.jenkins-ci | |
JENKINS_HOME=/Users/Shared/Jenkins/Home | |
if [[ $EUID -ne 0 ]]; then | |
echo "Execute this script with sudo" | |
else | |
echo "Jenkins will run as" $SUDO_USER |
#!/usr/bin/env sh | |
## | |
# This is script with usefull tips taken from: | |
# https://github.com/mathiasbynens/dotfiles/blob/master/.osx | |
# | |
# install it: | |
# curl -sL https://raw.github.com/gist/2262136/hack.sh | sh | |
# |
This gist is part of a blog post. Check it out at:
http://jasonrudolph.com/blog/2011/08/09/programming-achievements-how-to-level-up-as-a-developer