diff --git a/scripts/get-repository.sh b/scripts/get-repository.sh index a6dad95..4258e8f 100755 --- a/scripts/get-repository.sh +++ b/scripts/get-repository.sh @@ -1,6 +1,6 @@ -#!/bin/bash +#!/usr/bin/env bash # -# Licence: this file is in the public deomain. +# Licence: this file is in the public domain. # # Download and configure the repositories of the website or wiki.