diff options
| author | ProsperousPotato <114923153+ProsperousPotato@users.noreply.github.com> | 2024-07-24 14:29:21 -0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-24 14:29:21 -0100 |
| commit | 82462bb9280dc811088cf91a9b90f88a4156537b (patch) | |
| tree | 3e69dcd9cf6878ac209974f59a3ca2c2b888e404 | |
| parent | 865a2f08c51d1cd7560a16f04831d7656df15fb9 (diff) | |
Add files via upload
| -rw-r--r-- | dmenu_run | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ #!/bin/sh -dmenu_path | grep -F -f ~/dmenu/include_dmenu | grep -v -F -f ~/dmenu/exclude_dmenu | dmenu "$@" | ${SHELL:-"/bin/sh"} & +dmenu_path | grep -Ff ~/dmenu/include_dmenu | grep -v -e dolphin-emu-nogui -e dolphin-tool | dmenu "$@" | ${SHELL:-"/bin/sh"} & |
