ohmyzsh/plugins/profiles/README.md

26 lines
725 B
Markdown
Raw Normal View History

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