#!/usr/bin/env bash
-# Copyright (c) 2014. The SimGrid Team.
+# Copyright (c) 2014-2022. The SimGrid Team.
# All rights reserved.
# This program is free software; you can redistribute it and/or modify it
s/[, ]\+/\n/g
p
}' "$file" \
- | while read date; do
+ | while read -r date; do
case "$date" in
"")
;;
local first
local last
local next
- read first
+ read -r first
last=$first
- while read next; do
+ while read -r next; do
if [ $next -eq $((last + 1)) ]; then
last=$next
else