diff options
author | Johann150 | 2023-06-10 16:22:34 +0200 |
---|---|---|
committer | stuebinm | 2023-06-17 23:54:22 +0200 |
commit | 913f865fbdf6f2b69038ba6a4bb9416e2b4056d6 (patch) | |
tree | ea5744f3f8a8032c02a420cb3f2dccdcf39b8389 | |
parent | 1b46a4c05c8d7db5b517061b5d46dc7327db7c98 (diff) |
drop CSV header
-rw-r--r-- | src/bahnhofname.gleam | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bahnhofname.gleam b/src/bahnhofname.gleam index 708aca6..d331b64 100644 --- a/src/bahnhofname.gleam +++ b/src/bahnhofname.gleam @@ -176,6 +176,8 @@ fn read_csv() -> List(#(String, String)) { contents // the file doesn't use quotes, so this is fine |> string.split(on: "\n") + // drop CSV header + |> list.drop(1) |> list.map(fn(a) { string.split(a, on: ";") }) |> list.filter_map(fn(fields) { case fields { |