mirror of
https://git.minetest.land/dn42/registry
synced 2025-10-11 01:43:43 +02:00
Merge branch 'shebang' of dn42/registry into master
This commit is contained in:
commit
42ca1e7d8f
1 changed files with 1 additions and 1 deletions
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/bash
|
#!/usr/bin/env bash
|
||||||
set -eo pipefail
|
set -eo pipefail
|
||||||
|
|
||||||
if [ $# -eq 0 ]
|
if [ $# -eq 0 ]
|
||||||
|
|
Loading…
Add table
Reference in a new issue