mirror of
https://github.com/robbyrussell/oh-my-zsh.git
synced 2026-10-02 16:03:47 +02:00
1 parent
5ea25e6736
commit
604f1ef9cd
1 file changed
+1
-1
@@ -184,7 +184,7 @@ _kube_ps1_file_newer_than() {
|
||||
local check_time=$2
|
||||
|
||||
if [[ "${KUBE_PS1_SHELL}" == "zsh" ]]; then
|
||||
mtime=$(zstat -L +mtime "${file}")
|
||||
mtime=$(zstat +mtime "${file}")
|
||||
elif stat -c "%s" /dev/null &> /dev/null; then
|
||||
# GNU stat
|
||||
mtime=$(stat -L -c %Y "${file}")
|
||||
|
||||
Reference in new issue
Block a user