Christoph 49b40c95d7 change_api_key.sh: move output of Headline after checking if running on a terminal.		2018-04-30 03:45:04 +02:00
conf	Script output added if running in a terminal. Some pre-script task added.	2018-04-30 02:12:57 +02:00
.gitignore	Initial commit	2017-12-23 16:43:58 +01:00
change_api_key.sh	change_api_key.sh: move output of Headline after checking if running on a terminal.	2018-04-30 03:45:04 +02:00
initialise_user_schleuder.sh	Add (first version of) script 'change_api_key.sh'.	2018-04-29 17:34:59 +02:00
mail_to_listadmins.sh	Adjust script output in case of running as a cronjob.	2017-12-23 18:45:43 +01:00