Re: [tor-bugs] #30967 [Core Tor/Tor]: Make shellcheck ignore user-created directories, and run it during pre-commit

2019-09-05 Thread Tor Bug Tracker & Wiki
#30967: Make shellcheck ignore user-created directories, and run it during pre- commit -+- Reporter: teor | Owner: teor Type: defect | Stat

Re: [tor-bugs] #30967 [Core Tor/Tor]: Make shellcheck ignore user-created directories, and run it during pre-commit

2019-09-04 Thread Tor Bug Tracker & Wiki
#30967: Make shellcheck ignore user-created directories, and run it during pre- commit -+- Reporter: teor | Owner: teor Type: defect | Stat

Re: [tor-bugs] #30967 [Core Tor/Tor]: Make shellcheck ignore user-created directories, and run it during pre-commit

2019-09-04 Thread Tor Bug Tracker & Wiki
#30967: Make shellcheck ignore user-created directories, and run it during pre- commit -+- Reporter: teor | Owner: teor Type: defect | Stat

Re: [tor-bugs] #30967 [Core Tor/Tor]: Make shellcheck ignore user-created directories, and run it during pre-commit

2019-09-04 Thread Tor Bug Tracker & Wiki
#30967: Make shellcheck ignore user-created directories, and run it during pre- commit -+- Reporter: teor | Owner: (none) Type: defect | St

Re: [tor-bugs] #30967 [Core Tor/Tor]: Make shellcheck ignore user-created directories, and run it during pre-commit

2019-09-04 Thread Tor Bug Tracker & Wiki
#30967: Make shellcheck ignore user-created directories, and run it during pre- commit -+- Reporter: teor | Owner: (none) Type: defect | St

Re: [tor-bugs] #30967 [Core Tor/Tor]: Make shellcheck ignore user-created directories, and run it during pre-commit

2019-09-02 Thread Tor Bug Tracker & Wiki
#30967: Make shellcheck ignore user-created directories, and run it during pre- commit -+- Reporter: teor | Owner: (none) Type: defect | St

Re: [tor-bugs] #30967 [Core Tor/Tor]: Make shellcheck ignore user-created directories, and run it during pre-commit

2019-08-30 Thread Tor Bug Tracker & Wiki
#30967: Make shellcheck ignore user-created directories, and run it during pre- commit -+- Reporter: teor | Owner: (none) Type: defect | St

Re: [tor-bugs] #30967 [Core Tor/Tor]: Make shellcheck ignore user-created directories, and run it during pre-commit (was: Explicitly select the top-level directories that we want to shellcheck)

2019-08-30 Thread Tor Bug Tracker & Wiki
#30967: Make shellcheck ignore user-created directories, and run it during pre- commit -+- Reporter: teor | Owner: (none) Type: defect | St