h/fish-shell
1
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2026-05-30 19:41:15 -03:00
Code Issues Packages Projects Releases Wiki Activity

Rename CMD_DURATION to cmd_duration

Browse Source 
Fixes #4414
This commit is contained in:
Aaron Gyes
2017-10-14 08:18:46 -07:00
parent 1af38d69a8
commit 18b06f3768
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
doc_src/index.hdr.in
View File

@@ -864,7 +864,7 @@ The user can change the settings of `fish` by changing the values of certain var
- `USER`, the current username. This variable can be changed by the user.
- `CMD_DURATION`, the runtime of the last command in milliseconds.
- `cmd_duration`, the runtime of the last command in milliseconds.
- `FISH_VERSION`, the version of the currently running fish