8 Commits

Author	SHA1	Message	Date
Ben Boeckel	5238e95759	codespell: fix spelling errors	2019-04-29 16:47:18 +02:00
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