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 /scripts | |
| parent | d68ab5f662969376a889629c72a0cb5ab120cfda (diff) | |
| download | navit-7bd08d7ef699bcf51be0f11af99f62c6ce436bf4.tar.gz | |
update:scripts:change the scripts that use non-POSIX functionnalities to bash (#613)
Diffstat (limited to 'scripts')
| -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 |
3 files changed, 3 insertions, 3 deletions
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 |