1
0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-11-27 10:59:32 +08:00
ohmyzsh/plugins/profiles
Florent Thoumie 6d762fa053 Add new profiles plugin.
Depending on the machine you're logged into, you may want to use
specific configuration. Add 'profiles' to your list of plugin will
try to find a profile for the local machine and each (sub)domain
it belongs to.
2013-01-30 05:16:26 -08:00
..
profiles.plugin.zsh Add new profiles plugin. 2013-01-30 05:16:26 -08:00