This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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 |
Each of these commands will run an ad hoc http static server in your current (or specified) directory, available at http://localhost:8000. Use this power wisely.
$ python -m SimpleHTTPServer 8000
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package com.onavo.android.common.ui; | |
import android.view.View; | |
import android.view.ViewGroup; | |
import java.util.LinkedList; | |
import java.util.List; | |
/** | |
* Based on http://stackoverflow.com/a/8831593/37020 by by Shlomi Schwartz |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
## For bash or zsh: | |
# Opens the github page, issue, or new pull request for the current git repository in your browser | |
# Based on https://github.com/jasonneylon/dotfiles/ | |
function gh { | |
giturl=$(git config --get remote.origin.url) | |
if [ "$1" = "help" ]; then | |
echo "gh: Opens this repository's GitHub homepage." | |
echo "gh 123 246: Opens the page for issues or pull requests #123 and #246." | |
echo "gh issues: Opens the repository's issues." |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Might as well ask for password up-front, right? | |
sudo -v | |
# Keep-alive: update existing sudo time stamp if set, otherwise do nothing. | |
while true; do sudo -n true; sleep 60; kill -0 "$$" || exit; done 2>/dev/null & | |
# Example: do stuff over the next 30+ mins that requires sudo here or there. | |
function wait() { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
"""Script that I keep in a Git repository along with my dotfiles. In the | |
repository, the files don't have the dot prefix so I can see them more easily. | |
Running the script symlinks all the files to ~/.<filename>, checking allowing | |
you to cancel if the file exists. | |
""" | |
import os | |
import glob |
NewerOlder