linting: use local scripts to remove sudo need#1831
Conversation
install linting tools locally to remove the need for sudo curling scripts and installing them for all users
|
I like this change. LGTM |
wernerfred
left a comment
There was a problem hiding this comment.
A few thoughts from my side:
Imho there is a problem when "installing" to a local path in the repository as one might run these linting checks locally to test befor opening a PR. Therefore the local repository would include the tools as a local change. There are multiple possibilities to solve this. For example make it optional to remove them afterwards via make clean or to add tools/** to .gitignore.
For a long sight: I am preparing a PR (which I came up with already before the migration started) to switch the linting tools etc to their docker versions. This will solve the issue with "installing" completely and should not be a problem for anyone as everyone is using docker already when using docker-mailserver.
But for the meantime i like your change and will approve if the issue mentioned above is resolved/discussed.
|
@wernerfred please look at the Files changed tab, tools is already added to .gitignore |
|
There are multiple possibilities to solve this. For example make it optional to remove them afterwards via Did I miss something? #################################################
### Linting Tools #############################
#################################################
tools/? |
|
omg, my bad. Looked at the changed files of course but (howsoever) must have overlooked changes to |
Description
this change installs the linting tools in a local tools directory. this removes the need for
sudo curland replacing binaries in /usr/local/bin and /usr/bin.Issues with the previous code:
Type of change
Checklist:
Info @wt-io-it