[linters] Improve the linters-doc-url flag, by splitting the url from the left, so we allow urls with colons

Reviewed By: jvillard

Differential Revision: D5833131

fbshipit-source-id: 28b7698
master
Dulma Churchill 7 years ago committed by Facebook Github Bot
parent 2fff3b0733
commit 59be79a81e

@ -1886,7 +1886,7 @@ type linter_doc_url = {linter: string; doc_url: string}
let process_linters_doc_url args = let process_linters_doc_url args =
let linters_doc_url arg = let linters_doc_url arg =
match String.rsplit2 ~on:':' arg with match String.lsplit2 ~on:':' arg with
| Some (linter, doc_url) | Some (linter, doc_url)
-> {linter; doc_url} -> {linter; doc_url}
| None | None

Loading…
Cancel
Save