tree d86f868bb427c23d8cc6402388d6f23be169f253
parent 1aedbd6350df7d53e19ef6b31ac4f113362e4e0d
author Travis Swicegood <development@domain51.com> 1304395559 -0500
committer Travis Swicegood <development@domain51.com> 1304395970 -0500

Create the concept of enabled plugins

This allows users to disable a plugin without completely removing it.
Instead, they simply remove the `plugins/enabled/*.bash` file for the
plugin they want to disable.  This continues the concept of "everything
on" while providing greater flexibility to future users.

It might be a good idea to allow turning these off by default in the
future and allowing not only the `plugins/enabled/*.bash` files but also
an array of `<plugin_name>` values that would search for
`plugins/available/<plugin_name>.plugin.bash` to enable them.  That
method would make it easier for people custom tune their plugins from
within their `.bash_profile` script.