- GitHub Staff
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 | |
set -eu | |
# Name of the remote (usually origin) | |
REMOTE=origin | |
# Find the name of the current branch | |
BRANCH=$(git rev-parse --abbrev-ref HEAD) | |
# Push commit in batches of size. | |
# The larger the batch size, the larger the amount of data will |
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 nocompatible | |
set cindent | |
set guioptions-=T | |
set ruler | |
set nohls | |
set incsearch | |
set number | |
set nopaste | |
set autoindent | |
set copyindent |
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
$ gs -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=merged.pdf source1.pdf source2.pdf |
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 | |
# | |
# This transforms a CSV file into a gnuplot file. | |
# use option '-h' to display a help screen for all options. | |
# | |
# FracPete | |
# the usage of this script | |
function usage() | |
{ |
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 | |
# | |
# Hook used to indent all source files before commiting | |
# | |
INDENT="$(git config hooks.indent)" | |
if test ! -x "$INDENT" | |
then | |
echo "Unable to find indent executable on the configuration." | |
echo |