François Revol 9130cabf87 Cleanup
* separate unrelated code.
* remove "function" bashism.
* add a possible update command override variable $DEVUPCMD that is pushed to the history.
2012-02-23 02:38:22 +01:00
..
2012-02-23 02:38:22 +01:00