Move the options out of the prompt

So users don't have to modify the prompt to be able to change the options.
This commit is contained in:
Sindre Sorhus
2013-08-27 00:55:52 +02:00
parent 0e06fe774d
commit 6c523c5f66
2 changed files with 16 additions and 14 deletions

View File

@@ -4,13 +4,6 @@
# MIT License
# change this to your own username
DEFAULT_USERNAME='sindresorhus'
# threshold (sec) for showing cmd exec time
CMD_MAX_EXEC_TIME=5
# For my own and others sanity
# git:
# %b => current branch
@@ -33,8 +26,7 @@ zstyle ':vcs_info:git*' actionformats ' %b|%a'
setopt PROMPT_SUBST
# only show username if not default
[ $USER != $DEFAULT_USERNAME ] && local username='%n@%m '
[ $USER != "$PURE_DEFAULT_USERNAME" ] && local username='%n@%m '
# fastest possible way to check if repo is dirty
git_dirty() {
@@ -49,7 +41,7 @@ cmd_exec_time() {
local stop=`date +%s`
local start=${cmd_timestamp:-$stop}
let local elapsed=$stop-$start
[ $elapsed -gt $CMD_MAX_EXEC_TIME ] && echo ${elapsed}s
[ $elapsed -gt "${PURE_CMD_MAX_EXEC_TIME:=5}" ] && echo ${elapsed}s
}
preexec() {

View File

@@ -19,11 +19,21 @@ Most prompts are cluttered, ugly and slow. I wanted something visually pleasing
- Can easily be used as a starting point for your own custom prompt
## Getting Started
## Getting started
- Download `pure.zsh` or submodule this repo
- In your `.zshrc` add `. path/to/pure.zsh`
- Add your username to `DEFAULT_USERNAME`
- Download `pure.zsh` or submodule this repo.
- In your `.zshrc` add any of the below options, then import pure `. path/to/pure.zsh`.
## Options
### `PURE_DEFAULT_USERNAME`
Define your username if you want to hide it from the prompt when it matches the current username.
### `PURE_CMD_MAX_EXEC_TIME`
The max execution time of a process before its run time is shown when it exits. Defaults to `5` seconds.
## Tip