4 commits

Author	SHA1	Message	Date
Felix Buehler	e6cf5963a6	[shell/paths] replace set_path with appendpath from bash config	2020-09-16 15:23:26 +02:00
Benedikt Heine	16aad7f4c5	Adapt shebangs ... Convert all shebangs to /usr/bin/env bash, if bash is really required in the script. Otherwise convert it to /bin/sh. /bin/bash is not available on all systems, while /usr/bin/env bash and /bin/sh are.	2018-05-29 00:02:00 +02:00
Benedikt Heine	4c382f25e8	load rubygems module correct	2018-01-10 20:27:21 +01:00
Felix Buehler	86a1da2632	initial commit	2017-01-26 13:48:55 +01:00