Richard Hladík RichardHladik

## remotetex.sh
#!/bin/bash

set -e
REMOTE=gimli
CMD=pdfcsplain
trap_codes="0 1 2 3 13 15"

die() {
	echo "$@"
	exit 1

## sc.sh
setxkbmap cz
sudo apt-get install vim valgrind tmux
mkdir w
cat << EOD > .vimrc
set autoindent
set smartindent
set number
EOD

cat <<EOD >w/template.cpp

## batch_save.py
# -*- coding: utf8 -*-
#!/usr/bin/env python2
"""Exports every layer into a separate PNG, adds the same background to each
layer. Useful e.g. for creating flashcards with many things highlighted in one
image.

Installation: put into ~/.gimp-2.8/plug-ins (or similar)."""

from gimpfu import *
import gimp as g
	#!/bin/bash

	set -e
	REMOTE=gimli
	CMD=pdfcsplain
	trap_codes="0 1 2 3 13 15"

	die() {
	echo "$@"
	exit 1
	setxkbmap cz
	sudo apt-get install vim valgrind tmux
	mkdir w
	cat << EOD > .vimrc
	set autoindent
	set smartindent
	set number
	EOD

	cat <<EOD >w/template.cpp
	# -- coding: utf8 --
	#!/usr/bin/env python2
	"""Exports every layer into a separate PNG, adds the same background to each
	layer. Useful e.g. for creating flashcards with many things highlighted in one
	image.

	Installation: put into ~/.gimp-2.8/plug-ins (or similar)."""

	from gimpfu import *
	import gimp as g