« Previous | Next » 

Revision d6cd74dd

IDd6cd74dda37a14cabf669b6884333e4e6bb31c95
Parent f5d13a77
Child fe5a2780

Added by Klaus Aehlig almost 8 years ago

Add an option to print job id of submitted jobs on stdout

When submitting a job, the job id, prefixed by 'JobID: ', is output to
stderr. While this is easy to understand for humans, for scripting, it
is more convenient to have (additionally) the id on stdout (and only
the id). Add an option to provide this.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Thomas Thrainer <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences