This file contains 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/sh | |
PUSH=1 | |
BRANCH=$(git status | head -1 | sed -n 's/^# On branch //p') | |
STATUS_TAIL=$(git status | tail -1) | |
if [ "$STATUS_TAIL" = "nothing added to commit but untracked files present (use \"git add\" to track)" ]; then | |
PUSH=0 | |
fi | |
if [ "$PUSH" = "1" ]; then |
This file contains 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
<html> | |
<script type="text/javascript"> | |
function update(name, status, timeout) | |
{ | |
var id = "ping:" + name.replace('/', ':'); | |
var div = document.getElementById(id); | |
div.innerHTML = name + " is " + status; | |
var background = "white"; | |
var color = "black"; |
This file contains 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
REM Runm: Run the same command multiple times in parallel on Windows | |
REM First argument is the number of processes to be run in parallel | |
REM Second argument is the name of the process to be run | |
REM Change /K to /C if you want to close the windows after the processes are done running | |
FOR /L %%I IN (1,1,%1) DO START CMD /K %2 |
This file contains 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 | |
COUNT=$1 | |
shift | |
for ((i=0; i<$COUNT; i++)) | |
do | |
$* & | |
done |
This file contains 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/sh | |
DEFAULT_TIMEOUT=60 | |
ACCEPTSCRIPT=$0 | |
if [ "$1" = "" ]; then | |
echo | |
echo "Usage:" | |
echo " acceptsship.sh <ip-address> [timeout=${DEFAULT_TIMEOUT}s]" | |
echo |
This file contains 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
/// <summary> | |
/// Helper function for creating lexicographically ordered ids | |
/// </summary> | |
public static string Id(Int64 num) | |
{ | |
return String.Format("{0:0000000000000}", num); | |
} | |
This file contains 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 | |
BRANCH=dev | |
TARGETS="debug release cli javalib" | |
if [ "$1" != "" ]; then | |
BRANCH=$1 | |
fi | |
function cleanup { |
This file contains 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
SET URL=http://localhost:8080 | |
:START | |
SET CDATE=%DATE% | |
:: Remove trailing dot | |
SET CDATE=%CDATE:~,-1% | |
:: Replace colons with dots | |
SET CTIME=%TIME::=.% | |
:: Remove spaces | |
SET CTIME=%CTIME: =0% |
This file contains 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
Windows Registry Editor Version 5.00 | |
[HKEY_CURRENT_USER\Software\Policies\Microsoft\Windows\Control Panel\Desktop] | |
"ScreenSaverIsSecure"="0" | |
"ScreenSaveActive"="0" | |
"ScreenSaveTimeOut"="999999999" |
This file contains 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
import rlcompleter | |
import readline | |
readline.parse_and_bind ("bind ^I rl_complete") |
OlderNewer