diff --git a/src/execo_g5k/config.py b/src/execo_g5k/config.py index 636c4279a9b9f12610fb926072d32238b79b692c..7a32be8010c5114d254fe50c1389f6349531662c 100644 --- a/src/execo_g5k/config.py +++ b/src/execo_g5k/config.py @@ -25,7 +25,7 @@ g5k_configuration = { 'default_env_name': None, 'default_env_file': None, 'default_timeout': 900, - 'check_deployed_command': "! (mount | grep -E '^/dev/[[:alpha:]]+2 on / ')", + 'check_deployed_command': "mount | grep -q '^/dev/.*3 on / '", 'no_ssh_for_local_frontend' : False, 'polling_interval' : 20, 'tiny_polling_interval' : 10, @@ -61,7 +61,7 @@ g5k_configuration = { `execo_g5k.kadeploy.deploy` to check that the nodes are correctly deployed. This command should return 0 if the node is correctly deployed, or another value otherwise. The default checks that the - root is not on the second partition of the disk. + root filesystem is on the third partition of the disk. - ``no_ssh_for_local_frontend``: if True, don't use ssh to issue g5k commands for local site. If False, always use ssh, both for remote