From fc14e5da06549d0d5086ea4022841104cb6678df Mon Sep 17 00:00:00 2001 From: Denis 'GNUtoo' Carikli Date: Thu, 7 Dec 2023 04:15:27 +0100 Subject: [PATCH] website-build: don't hardcode bash location. This also makes it possible to use --disable-guix on a Guix system. Signed-off-by: Denis 'GNUtoo' Carikli Acked-by: Adrien 'neox' Bourmault --- website-build/autogen.sh | 2 +- website-build/build.sh | 2 +- website-build/check.sh | 2 +- website-build/serve.sh | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/website-build/autogen.sh b/website-build/autogen.sh index 9bc3b0b..94382da 100755 --- a/website-build/autogen.sh +++ b/website-build/autogen.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env sh # Copyright (C) 2023 Denis 'GNUtoo' Carikli # # This program is free software: you can redistribute it and/or modify diff --git a/website-build/build.sh b/website-build/build.sh index eb9885d..83776cf 100755 --- a/website-build/build.sh +++ b/website-build/build.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Copyright (C) 2022-2023 Denis 'GNUtoo' Carikli # # This program is free software: you can redistribute it and/or modify diff --git a/website-build/check.sh b/website-build/check.sh index 0238c00..fa917a9 100755 --- a/website-build/check.sh +++ b/website-build/check.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Copyright (C) 2022-2023 Denis 'GNUtoo' Carikli # # This program is free software: you can redistribute it and/or modify diff --git a/website-build/serve.sh b/website-build/serve.sh index 66e1f29..35f1d51 100755 --- a/website-build/serve.sh +++ b/website-build/serve.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env sh # Copyright (C) 2022 Denis 'GNUtoo' Carikli # # This program is free software: you can redistribute it and/or modify