Zander671/dmenu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Change /bin/bash to /usr/bin/env bash

Browse Source
This commit is contained in:
Alexander Rosenberg 2022-08-30 00:48:19 -07:00
parent 56941888ea
commit 7615c82d7c
Signed by: Zander671
GPG Key ID: 5FD0394ADBD72730
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dmenu_run
View File

@ -5,4 +5,4 @@ config_file="$HOME/.config/dmenu/aliases"
[[ -e "$config_file" ]] && flags="--rcfile $config_file" [[ -e "$config_file" ]] && flags="--rcfile $config_file"
dmenu_path | dmenu "$@" | echo "unset HISTFILE; $(cat)" | /bin/bash $flags -i >/dev/null 2>&1 dmenu_path | dmenu "$@" | echo "unset HISTFILE; $(cat)" | /usr/bin/env bash $flags -i >/dev/null 2>&1