29 Commits

Author	SHA1	Message	Date
Arjan H	ec1c8d5343	Bump boulder version to release-2021-02-08	2021-02-13 14:11:42 +01:00
Arjan H	cfa8f30f5c	Make docker install work also on Ubuntu ... #14	2021-02-13 09:02:22 +01:00
Arjan H	ac73b27b15	Set HOME in sudo commands to target user's home directory ... #14	2021-02-13 09:02:23 +01:00
Arjan H	51aec5f6c1	Cosmetic: update year	2021-01-15 20:14:34 +01:00
Arjan H	fe4764cd1d	Bump boulder version to release-2021-01-12	2021-01-13 21:50:02 +01:00
Arjan H	1672a605da	Merge branch 'master' into patch-2	2020-12-31 12:07:22 +01:00
jonasled	4ad69b47b0	added python to extra packages ... was not installed on a fresh debian, so we need to add it	2020-12-30 19:27:45 +01:00
jonasled	010f7c7dbe	install sudo after git, because we need it in the next step.	2020-12-30 19:03:23 +01:00
Arjan H	de5a89d380	Make sure that sudo is installed ... #8	2020-11-26 17:32:20 +01:00
Arjan H	d6586e2cb2	Bump boulder version to release-2020-11-10	2020-11-15 14:05:23 +01:00
Arjan H	99fa341e22	Bump boulder version to release-2020-11-04	2020-11-09 11:36:04 +01:00
Arjan H	80e411254a	Bump boulder version to release-2020-10-13	2020-10-14 20:41:01 +02:00
Arjan H	c3da7d6d44	Bump boulder version to release-2020-09-09	2020-09-10 17:33:08 +02:00
Arjan H	c3a7917838	Bump boulder version to release-2020-08-18	2020-08-25 19:24:08 +02:00
Arjan H	6809f4047c	Bump boulder version to release-2020-07-13	2020-08-24 20:15:26 +02:00
Arjan H	0e57fd6f4a	Bump boulder version to release-2020-06-08	2020-08-23 20:11:20 +02:00
Arjan H	cdda2d0b26	Bump boulder version to release-2020-06-08	2020-08-15 19:36:31 +02:00
Arjan H	b793c1e56c	Bump boulder version to release-2020-05-18	2020-08-10 16:01:38 +02:00
Arjan H	2ec50c2776	Bump boulder version to release-2020-04-27	2020-08-09 19:37:16 +02:00
Arjan H	cf6042efa8	Bump boulder version to release-2020-04-13	2020-04-13 20:02:50 +02:00
Arjan H	2d22f2dd46	Bump boulder version to release-2020-02-17	2020-03-01 09:54:43 +01:00
Arjan H	1efae0ee33	Fix logging; fix patch file	2019-07-13 08:33:48 +02:00
Arjan H	f8a7bebff6	Optionally use different branch than master	2019-07-12 11:45:36 +02:00
Arjan H	e5e3dfc45a	Bump boulder version to release-2018-06-28	2019-07-12 08:24:10 +02:00
Arjan H	a25dff24ce	Bump boulder version to release-2018-12-10	2018-12-21 12:41:26 +01:00
Arjan H	3b023fe933	Fix version display	2018-11-11 13:43:33 +01:00
Arjan H	9801a03bce	Remove first-time dependency on utils.sh	2018-11-11 13:41:50 +01:00
Arjan H	035bca0046	Remove first-time dependency on utils.sh	2018-11-11 13:17:09 +01:00
Arjan H	f8ead94450	Initial commit to GitHub	2018-11-10 15:13:43 +01:00