2019-10-24 23:42:33 +08:00
|
|
|
# profiles plugin
|
|
|
|
|
|
|
|
|
|
This plugin allows you to create separate configuration files for zsh based
|
2019-10-25 19:14:36 +08:00
|
|
|
on your long hostname (including the domain).
|
2019-10-24 23:42:33 +08:00
|
|
|
|
2019-10-25 19:14:36 +08:00
|
|
|
To use it, add profiles to the plugins array of your zshrc file:
|
2019-10-24 23:42:33 +08:00
|
|
|
|
2019-10-25 19:14:36 +08:00
|
|
|
```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:
|
2019-10-24 23:42:33 +08:00
|
|
|
|
|
|
|
|
```text
|
|
|
|
|
$ZSH_CUSTOM/profiles/com
|
2019-10-25 19:14:36 +08:00
|
|
|
$ZSH_CUSTOM/profiles/domain.com
|
|
|
|
|
$ZSH_CUSTOM/profiles/host.domain.com
|
2019-10-24 23:42:33 +08:00
|
|
|
```
|
|
|
|
|
|
2019-10-25 19:14:36 +08:00
|
|
|
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.
|
