parent
eaa682c0a6
commit
c1e5cbed5b
1 changed files with 15 additions and 11 deletions
@ -1,21 +1,25 @@ |
|||||||
# profiles plugin |
# profiles plugin |
||||||
|
|
||||||
This plugin allows you to create separate configuration files for zsh based |
This plugin allows you to create separate configuration files for zsh based |
||||||
on a domain of your host. |
on your long hostname (including the domain). |
||||||
|
|
||||||
It takes your `HOST` and looks for files named according to the domain parts |
To use it, add profiles to the plugins array of your zshrc file: |
||||||
in `$ZSH_CUSTOM/profiles/` directory. |
|
||||||
|
|
||||||
For example, for `HOST=my.domain.com`, it will try to load the following files: |
```sh |
||||||
|
plugins=(... profiles) |
||||||
|
``` |
||||||
|
|
||||||
|
It takes your `$HOST` variable and looks for files named according to the |
||||||
|
domain parts in `$ZSH_CUSTOM/profiles/` directory. |
||||||
|
|
||||||
|
For example, for `HOST=host.domain.com`, it will try to load the following files, |
||||||
|
in this order: |
||||||
|
|
||||||
```text |
```text |
||||||
$ZSH_CUSTOM/profiles/my.domain.com |
|
||||||
$ZSH_CUSTOM/profiles/domain.com |
|
||||||
$ZSH_CUSTOM/profiles/com |
$ZSH_CUSTOM/profiles/com |
||||||
|
$ZSH_CUSTOM/profiles/domain.com |
||||||
|
$ZSH_CUSTOM/profiles/host.domain.com |
||||||
``` |
``` |
||||||
|
|
||||||
To use it, add profiles to the plugins array of your zshrc file: |
This means that if there are conflicting settings on those files, the one to take |
||||||
|
precedence will be the last applied, i.e. the one in host.domain.com. |
||||||
```sh |
|
||||||
plugins=(... profiles) |
|
||||||
``` |
|
||||||
|
|||||||
Loading…
Reference in new issue