clokep
commented
11 months ago Hopefully this was a sed job!
grep -rE "#\d+" . | grep -v ".ruff-cache" | grep -v "state.json" | grep -v "Binary file" | grep -E "#\d{2,}" | grep -v "\.css:" | grep -v "\.html:" | grep -v "\.json:" | grep -vE "\[\\\\?\#\d+\]"and then manually changing them via a regex in my editor. But...not too bad.
This makes it so you can just click on the link in editors / GitHub and it properly works.