mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2025-12-26 02:12:33 +01:00
Better to use $+commands here.
This commit is contained in:
parent
8d32892f1b
commit
6262677a96
1 changed files with 1 additions and 1 deletions
|
|
@ -1,4 +1,4 @@
|
||||||
if [[ -x /usr/bin/pkgfile ]]; then
|
if (( $+commands[pkgfile] )); then
|
||||||
command_not_found_handler() {
|
command_not_found_handler() {
|
||||||
local pkg p
|
local pkg p
|
||||||
local pid ppid pgrp session tty_nr tpgid
|
local pid ppid pgrp session tty_nr tpgid
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue