Skip to content

Instantly share code, notes, and snippets.

View ajgassner's full-sized avatar

Alex Gassner ajgassner

View GitHub Profile
@ajgassner
ajgassner / .babunrc
Last active June 27, 2017 13:19
My Babun config
# JVM options
#export JAVA_OPTS="-Xms128m -Xmx256m"
# Modify these lines to set your locale
export LANG="en_US.UTF-8"
export LC_CTYPE="en_US.UTF-8"
export LC_ALL="en_US.UTF-8"
# Uncomment these lines to the set your machine's default locale (and comment out the UTF-8 ones)
# export LANG=$(locale -uU)
@ajgassner
ajgassner / config
Created June 6, 2017 20:08
Sample config for SSH client
# this file has to be placed in ~/.ssh/config
Host myserver
HostName myserver.myhost.com
User myuser
IdentityFile ~/.ssh/id_rsa
ServerAliveInterval 30
@ajgassner
ajgassner / terminal-environment-installer.sh
Last active January 9, 2020 12:42
My personal terminal/shell settings. Tested with Linux Mint 19 and Ubuntu 18.04.
# Thinkpad infos: https://medium.com/@tim_888/lenovo-thinkpad-t480-ubuntu-18-04-install-log-linux-tweaks-379b96151372
# Trackpoint optimization: sudo apt-get install xserver-xorg-input-synaptics
# Power saving: https://thinkwiki.de/TLP_-_Linux_Stromsparen
#
#!/bin/bash
echo ">>> switch to home dir"
cd ~
@ajgassner
ajgassner / main.go
Last active July 15, 2019 07:56
Detect time difference in seconds between Tempo Jira Plugin and Timr
package main
import (
"encoding/base64"
"encoding/json"
"encoding/xml"
"fmt"
"io/ioutil"
"log"
"net/http"
@ajgassner
ajgassner / Gk34ToWgs84CoordinatesTransformer.kt
Last active April 13, 2020 12:20
Vienna GIS Gauß-Krüger M 34 MGI Austria GK East coordinates to Google WGS84 transfomation using EPSG code 31256
// Kotlin version
// Maven dependency:
// <dependency>
// <groupId>org.locationtech.proj4j</groupId>
// <artifactId>proj4j</artifactId>
// <version>1.0.0</version>
// </dependency>
package at.agsolutions
@ajgassner
ajgassner / convert.sh
Last active September 11, 2025 20:52
Converts image files (many image formats including PDFs supported) to JPG using ImageMagick
#!/bin/bash
# usage:
# 1. install imagemagick, e.g. brew install imagemagick
# 2. ./convert.sh path-to-input-directory path-to-output-directory
inputdir="$1"
outputdir="$2"
echo "input directory: $inputdir"