[Rock-dev] [rock] #142: env.sh is emptied on an full disk

[rock]

#142: env.sh is emptied on an full disk
--------------------+-----------------------------------
 Reporter:  mago02  |      Owner:  rock-dev-mailing-list
     Type:  defect  |     Status:  new
 Priority:  minor   |  Milestone:
Component:  base    |   Keywords:
--------------------+-----------------------------------
 If the user disk is full the env.sh file is emptied after an update/build.

 For new customers it's not easy to reover from this point, it should be
 prevented that this file get lost during this error.

-- 
Ticket URL: <https://rock.opendfki.de/ticket/142>
rock <https://rock.opendfki.de>
rock: the robot construction kit