diff options
| author | Joseph Herlant <aerostitch@users.noreply.github.com> | 2018-06-04 10:44:11 -0700 |
|---|---|---|
| committer | jkoan <jkoan@users.noreply.github.com> | 2018-06-04 19:44:11 +0200 |
| commit | 7bd08d7ef699bcf51be0f11af99f62c6ce436bf4 (patch) | |
| tree | 29e54e9eb8c007c7d2c9d7cae29956ab360c2868 | |
| parent | d68ab5f662969376a889629c72a0cb5ab120cfda (diff) | |
| download | navit-7bd08d7ef699bcf51be0f11af99f62c6ce436bf4.tar.gz | |
update:scripts:change the scripts that use non-POSIX functionnalities to bash (#613)
| -rwxr-xr-x | navit/startonce.sh | 2 | ||||
| -rw-r--r-- | scripts/build_tomtom_minimal.sh | 2 | ||||
| -rw-r--r-- | scripts/build_tomtom_plugin.sh | 2 | ||||
| -rw-r--r-- | scripts/xdotools.sh | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/navit/startonce.sh b/navit/startonce.sh index e38bdc6c8..934e6533e 100755 --- a/navit/startonce.sh +++ b/navit/startonce.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # This script is part of navit, a navigation system. # It can be used to make sure that navit is only started diff --git a/scripts/build_tomtom_minimal.sh b/scripts/build_tomtom_minimal.sh index a178b9733..ba6975e0f 100644 --- a/scripts/build_tomtom_minimal.sh +++ b/scripts/build_tomtom_minimal.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # this builds navit for tomtom # in case you want to build a plugin for tomtom use build_tomtom_plugin.sh instead # in case you want to build a standalone system diff --git a/scripts/build_tomtom_plugin.sh b/scripts/build_tomtom_plugin.sh index a4f19fda3..47fedb59a 100644 --- a/scripts/build_tomtom_plugin.sh +++ b/scripts/build_tomtom_plugin.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # this builds a plugin for tomtom # in case you want to build a standalone system # https://github.com/george-hopkins/opentom diff --git a/scripts/xdotools.sh b/scripts/xdotools.sh index a8fc6dea3..143a36ee7 100644 --- a/scripts/xdotools.sh +++ b/scripts/xdotools.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -e sudo apt-get install xdotool # Use xinput test 4 when running x11vnc on the circleci server to find mouse coordinates |