#!/usr/bin/env bash

This commit is contained in:
2018-10-02 20:48:21 -05:00
parent b48058f639
commit bbf37aabf1
7 changed files with 7 additions and 7 deletions

View File

@@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Wrapper script for install, for easier execution via URL.
if [ "$EUID" -ne 0 ]; then PREFIX='sudo'; else PREFIX=''; fi