1
0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-12-05 01:33:37 +08:00
Commit Graph

5 Commits

Author SHA1 Message Date
Marc Cornellà
c1e5cbed5b
Fix order and reword some things 2019-10-25 13:14:36 +02:00
Lukasz Chrzaszcz
eaa682c0a6 Add profiles documentation 2019-10-24 17:42:33 +02:00
Benjamin Stier
11253336cf Fixes the profiles-plugin
An error was introduced with 7f75bb9, which uses special vars. This is the
fix.
2014-11-07 10:47:27 +01:00
Marc Cornellà
95d795e8ca Change all hostname calls for $HOST or $SHORT_HOST 2014-11-06 18:33:56 +01:00
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