diff options
| author | romkatv <roman.perepelitsa@gmail.com> | 2019-07-20 00:08:45 +0300 |
|---|---|---|
| committer | romkatv <roman.perepelitsa@gmail.com> | 2019-07-20 00:08:45 +0300 |
| commit | 78eee98250ee884fe4381be873736ad084679614 (patch) | |
| tree | 87611adfa5f39fb4cbbe02b8337a571524816266 /config | |
| parent | 259a2954cde404f7f88b5a9bd5264b3cc85e8c18 (diff) | |
formatting
Diffstat (limited to 'config')
| -rw-r--r-- | config/p10k-lean.zsh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/p10k-lean.zsh b/config/p10k-lean.zsh index 37542547..e1ee8da3 100644 --- a/config/p10k-lean.zsh +++ b/config/p10k-lean.zsh @@ -127,7 +127,6 @@ fi # be either absolute (e.g., '80') or a percentage of terminal width (e.g, '50%'). If empty, # directory will be shortened only when prompt doesn't fit. typeset -g POWERLEVEL9K_DIR_MAX_LENGTH=80 - # If set to true, embed a hyperlink into the directory. Useful for quickly # opening a directory in the file manager simply by clicking the link. # Can also be handy when the directory is shortened, as it allows you to see |