After 7f0ce090e9c5f94d0006d3084ad10cb47bc9e035, it makes sense
commitd7635b7901d86c532890e802b4c7ef044a712141
authorGuillaume Chazarain <guichaz@gmail.com>
Thu, 5 Jun 2008 16:19:52 +0000 (5 18:19 +0200)
committerGuillaume Chazarain <guichaz@gmail.com>
Thu, 5 Jun 2008 16:19:52 +0000 (5 18:19 +0200)
tree16b39b48fa0af700fd533c4b5a768362ccaa9f2b
parent2e843fee6a2276b7182477dba28ad60fde76705f
After 7f0ce090e9c5f94d0006d3084ad10cb47bc9e035, it makes sense
to enable already enabled shells, same for disable.
gsh/control_commands.py