Commit Graph

4 Commits

Author SHA1 Message Date
matttheficus
ae78b936e5 Removes All CamelCase'd "NanoTrasen" (#22156)
* begone CamelCase

* someone did an oopsie and it wasnt me

* CI addition (thanks contra)

* contra review

Co-authored-by: Contrabang <91113370+Contrabang@users.noreply.github.com>

* CI moment

---------

Co-authored-by: Contrabang <91113370+Contrabang@users.noreply.github.com>
2023-09-07 11:18:29 +01:00
GDN
100a9d18b6 fixes a to_chat runtime, lints now throw an error if a to_chat proc lacks a target argument (#21827)
* untested :)

* i may be stupid

* there we go
2023-09-01 22:39:21 +01:00
warriorstar-orion
718513f150 Fix error in check_grep trailing newline test. (#22095) 2023-08-25 17:52:59 +02:00
warriorstar-orion
edcaaf4241 Port check_grep.sh from an increasingly complicated shell script to Python. (#19875)
* Port check_grep.sh from an increasingly complicated shell script to Python.

* Exclude dmdoc-formatted multi-line comments from whitespace check

* Add comment exception for both WS rules

* Fixed mixed tab/space regex.

* hate hate hate hate

* Add doctests to preserve my sanity

* Remove checks involving newlines.

* Add back newline-involved tests. Cry.

* Several large-scale changes.

- Remove all the map-related changes for now, in order to get the
  code formatting changes in sooner and prevent more issues from leaking
  in while the PR issues are burned down.

- Flip the method for processing files. Instead of trying to sort errors
  by type, running over each file for each error, I'm simply breaking
  from the original output format and returning a lint-like set of
  errors. In this design, each file is opened, the checks are run, and
  the file handle is reused for each check.

- Standardize failures so that the filename, line number, and message
  can all be retrieved and formatted nicely for stdout.

- Compile regexes. The consensus seeeeeeeems to be that there's a
  negligible difference in performance when compiling regexes but
  there's a possibility that running them a lot of times may be faster,
  and I could actually time it, but ugggggggh.
2023-07-07 17:31:05 +01:00