R/helper.R
run_to_id.Rd
Convert run_names to integer ID values
run_to_id(run_names)
Character vector providing the run names
An integer vector with the run IDs
if (FALSE) { run_sel <- paste0('run_', sprintf('%04d', c(1,36, 598, 2311))) run_to_id(run_sel) }