project_setup.sh: support more unix systems

This commit is contained in:
Jake Chvatal 2023-04-16 23:56:10 +02:00 committed by GitHub
parent d37b67379b
commit 2282f85003
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,4 @@
#!/bin/env bash
#!/usr/bin/env bash
if [ "$#" -ne 1 ]; then
PROJECT_NAME='Project'