]> git.netwichtig.de Git - user/henk/vcsh/zsh.git/commitdiff
fix: explanation what that setting is for
authorHendrik Jäger <gitcommit@henk.geekmail.org>
Thu, 29 Dec 2022 11:35:30 +0000 (12:35 +0100)
committerHendrik Jäger <gitcommit@henk.geekmail.org>
Sun, 8 Jan 2023 12:37:02 +0000 (13:37 +0100)
.zshrc

diff --git a/.zshrc b/.zshrc
index 418f3ef00da7a4fe8a4310eae7ec8316fe1d0ef8..ba4bf8623ad49090e230010f860f57192f7255aa 100644 (file)
--- a/.zshrc
+++ b/.zshrc
@@ -9,9 +9,10 @@ HISTFILE=~/.zsh_history
 HISTSIZE=1000000000
 SAVEHIST=1000000000
 
-# what is that for exactly? maybe taskwarrior? or timewarrior?
+# print time needed for execution when it takes longer than this value
 REPORTTIME=10
 
+
 ## define word characters (for stuff like backward-word, forward-word, backward-kill-word,..)
 ## these are NOT separators but chars considered part of a word
 #WORDCHARS='*?_-.[]~=/&;!#$%^(){}<>' # the default