picnoir
/
Systemd
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
39,562 Commits 2 Branches 0 Tags 166 MiB
Commit Graph

7 Commits

Author SHA1 Message Date
Zbigniew Jędrzejewski-Szmek cc5549ca12 scripts: use 4 space indentation 
We had all kinds of indentation: 2 sp, 3 sp, 4 sp, 8 sp, and mixed.
4 sp was the most common, in particular the majority of scripts under test/
used that. Let's standarize on 4 sp, because many commandlines are long and
there's a lot of nesting, and with 8sp indentation less stuff fits. 4 sp
also seems to be the default indentation, so this will make it less likely
that people will mess up if they don't load the editor config. (I think people
often use vi, and vi has no support to load project-wide configuration
automatically. We distribute a .vimrc file, but it is not loaded by default,
and even the instructions in it seem to discourage its use for security
reasons.)

Also remove the few vim config lines that were left. We should either have them
on all files, or none.

Also remove some strange stuff like '#!/bin/env bash', yikes.
 2019-04-12 08:30:31 +02:00
Evegeny Vereshchagin f3a020d153 coverity.sh: fail if uploading data to Coverity Scan is forbidden 2018-06-25 22:22:29 +00:00
Evegeny Vereshchagin 1e79d09ef9 coverity.sh: use a comma to separate module names 
Otherwise Python bails out with
```
Traceback (most recent call last):
  File "<string>", line 1, in <module>
NameError: name 'json' is not defined
```

See https://travis-ci.org/systemd/systemd/jobs/397490437
 2018-06-25 22:02:41 +00:00
Evegeny Vereshchagin 096eec29cd coverity.sh: make the script compatible with Python 3 2018-06-25 21:59:28 +00:00
Evegeny Vereshchagin eeeaebf9c5 coverity.sh: fix a couple indents 2018-06-25 21:57:43 +00:00
Evegeny Vereshchagin 3b8e98818d coverity.sh: check that coverity responds with 200 
This is mostly inspired by 7b103fd2dd

Closes https://github.com/systemd/systemd/issues/9186.
 2018-06-07 17:49:54 +00:00
Zbigniew Jędrzejewski-Szmek 748c59b110 Rename scripts/coverity.sh to tools/coverity.sh 
There are only two files in tools/, I don't think we need a separate
directory for them.
 2018-03-12 15:39:21 +01:00
Renamed from scripts/coverity.sh (Browse further)