Beat Küng b972651a06 posix shell: use /bin/sh instead of bash
This uses the systems default shell:
- Ubuntu: dash
- Fedora: bash

Since bash is invoked via /bin/sh, it operates in POSIX mode:
  https://tiswww.case.edu/php/chet/bash/POSIX

- remove '# Ignore the expand_aliases command in zshell.'
  Not needed because the shell operates in POSIX mode
- [[ is bashism -> use [
- autostart_files=( $autostart_file_match )
  is not supported in dash, so use 'ls'
- shellcheck runs the dash flavor, since dash is a minimalistic shell.

Tested on dash & bash.
2018-09-27 23:39:20 +02:00
..
2018-07-13 09:02:59 +02:00
2018-08-14 23:12:26 -04:00
2018-09-16 17:40:27 -04:00
2018-08-08 21:09:39 +02:00
2017-01-02 10:14:41 +01:00
2018-08-08 21:09:39 +02:00
2016-01-11 08:37:43 +01:00
2017-07-10 18:48:27 +02:00
2017-07-31 14:15:28 +02:00