1
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-12-29 07:41:58 +00:00
ohmyzsh/plugins/profiles/README.md

26 lines
725 B
Markdown
Raw Normal View History

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