6 commits

Author	SHA1	Message	Date
Fernando Zuniga	55a6341d6f	Resolved merge conflicts: kept updated .gitpod.Dockerfile and .gitpod.yml	2025-10-06 10:16:11 -04:00
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