diff options
author | Greg White | 2019-05-29 09:23:04 -0400 |
---|---|---|
committer | Greg White | 2019-05-29 09:23:04 -0400 |
commit | a301b9a3eac11792d9cb40fb647fee72bd58f21a (patch) | |
tree | 23e11b758ff172118029031584e70cb8902be565 /brave-dev-bin.sh | |
parent | 4ef3ad8931f924a9dd1c909ec5c4559eafd4762b (diff) | |
download | aur-a301b9a3eac11792d9cb40fb647fee72bd58f21a.tar.gz |
Update script
Diffstat (limited to 'brave-dev-bin.sh')
-rwxr-xr-x | brave-dev-bin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/brave-dev-bin.sh b/brave-dev-bin.sh index 807bc27efca2..eb8a99f0bc6a 100755 --- a/brave-dev-bin.sh +++ b/brave-dev-bin.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/usr/bin/env bash if [ -z "$BRAVE_FLAGS" ]; then if [[ ! (-r /proc/sys/kernel/unprivileged_userns_clone && $(< /proc/sys/kernel/unprivileged_userns_clone) == 1 && -n $(zcat /proc/config.gz | grep CONFIG_USER_NS=y) ) ]]; then |