+remove_leading_zeroes() {
+ # Desc: Removes leading zeroes from lines
+ # Input: stdin
+ # Output: stdout
+ # Depends: BK-2020-03 read_stdin()
+ # Version: 0.0.1
+ while read -r line; do
+ printf "%s\n" "$line" | sed -E -e 's/(^0*)([0-9].*)/\2/';
+ done;
+};
+get_max_digits() {
+ # Desc: Returns max leading digits of pwd filenames
+ # Depends: list_files()
+ # BK-2020-03: remove_leading_zeroes()
+ # GNU sed 4.8
+ # GNU awk 5.1.0
+ local output;
+