Spirals-Team / docker-machine-driver-g5k

Docker Machine driver for the Grid'5000 testbed infrastructure.
https://www.grid5000.fr
Apache License 2.0
13 stars 5 forks source link

Allow user to keep resource when removing the machine #32

Closed gfieni closed 5 years ago

gfieni commented 5 years ago

This PR add a cli flag to allow the user to choose between keeping the resource reservation when removing the machine using docker-machine rm x or automatically deallocating the resource (default behaviour).