541 commits

Author	SHA1	Message	Date
Julien Malka	2726e5e818	fix: use cvc4 from master	2023-02-21 09:47:16 +01:00
Julien Malka	350733016c	feat: added software verification tools	2023-02-20 17:26:25 +01:00
Julien Malka	08e5253638	feat: added direnv on tower	2023-02-13 13:20:29 +01:00
Julien Malka	2361fd2dd6	Added direnv	2023-02-07 10:49:36 +01:00
Julien Malka	2c945916f2	Launching ssh agent	2023-02-05 00:38:11 +01:00
Julien Malka	cb683f0b79	Added rofi customization	2023-02-05 00:20:39 +01:00
Julien Malka	83536c7078	Added sway module	2023-02-04 23:55:39 +01:00
Julien Malka	b1a76a8b82	cursor customization / alacritty	2023-02-04 23:39:10 +01:00
Julien Malka	0d006ac092	cleaned a bit macintosh config	2023-02-04 23:34:42 +01:00
Julien Malka	7d11aedd93	Various improvments/brightness	2023-02-04 11:12:13 +01:00
Julien Malka	ae4607aaa1	better battery mngt	2023-02-04 01:12:54 +01:00
Julien Malka	4d056ac717	disabled polybar	2023-02-04 01:12:39 +01:00
Julien Malka	c0bf8aefb8	Converted macbook to wayland	2023-02-04 00:48:36 +01:00
Julien Malka	2d034982f0	Added ssh keys	2023-02-03 18:38:04 +01:00
Julien Malka	43e56879d7	adding macintosh	2023-02-03 18:30:53 +01:00
Julien Malka	9f74ffc262	Disabling emulation on lisa	2023-01-26 15:28:53 +01:00
Julien Malka	0fa0596f91	Added uptime-kuma package	2023-01-22 00:06:44 +01:00
Julien Malka	28b010cdbc	Added lazygit	2023-01-21 19:35:42 +01:00
Julien Malka	9c7084313b	Removed ci on lisa	2023-01-20 00:33:32 +01:00
Julien Malka	9b88e0e621	Added more usefull tools	2023-01-20 00:28:21 +01:00
Julien Malka	2ef286ebe3	Added newton, had to go around strange bug	2023-01-19 19:50:26 +01:00
Julien Malka	147afb0403	Added 2nd job	2023-01-19 19:42:26 +01:00
Julien Malka	9f79ad05e0	updated tower config	2023-01-19 19:18:08 +01:00
Julien Malka	fa91fc44e4	Customizing home	2023-01-19 19:08:40 +01:00
Julien Malka	a8cff7b047	Opening port for netdata	2023-01-19 19:00:02 +01:00
Julien Malka	4658773aae	Init monitoring	2023-01-15 18:29:05 +01:00
Julien Malka	3e9371df4c	Cleaned lambda's config	2023-01-14 20:29:35 +01:00
Julien Malka	d25dd948cd	Disabling useless services on lisa	2023-01-09 21:36:14 +01:00
Julien Malka	865ae4478e	Fixed lisa networking	2023-01-09 19:43:41 +01:00
Julien Malka	cb76d70920	Better network config	2023-01-09 17:43:00 +01:00
Julien Malka	74b30ab3ff	Added emulated arch to build lambda	2023-01-08 23:49:40 +01:00
Julien Malka	c26a0c4826	Trying to add lambda to deploy	2023-01-08 22:03:47 +01:00
Julien Malka	3699bd39fa	Using latest deploy version	2023-01-08 22:03:27 +01:00
Julien Malka	8d694cb9a1	Added lambda as a new machine	2023-01-08 21:18:42 +01:00
Julien Malka	56f1e4948b	Added lambda secrets	2023-01-08 21:18:11 +01:00
Julien Malka	be06e7c911	Added deploy pkg	2023-01-07 18:39:38 +01:00
Julien Malka	6712d66795	Init deploy for newton	2023-01-07 18:23:11 +01:00
Julien	d35d441ffb	Start of tower	2023-01-06 23:41:53 +01:00
Julien Malka	aeda9a2775	Updated github keys	2023-01-06 10:19:57 +01:00
Julien Malka	b8a60187df	Updated nix for 22.11	2023-01-05 17:09:27 +01:00
Julien Malka	0131b3f099	Deleted macintosh as machine not in use anymore	2022-12-26 21:07:25 +01:00
Julien Malka	a853107321	Updated keys	2022-12-22 23:27:45 +01:00
Julien Malka	0b2cee33f5	Removed conflict	2022-12-22 23:25:24 +01:00
Julien Malka	6649e04990	Updated keys	2022-11-03 01:10:30 +01:00
Julien Malka	d5e33cd626	Changed mtu on ens20 on lisa	2022-11-03 01:10:03 +01:00
Julien Malka	17a1114a00	Removed depreciated server	2022-10-22 11:45:05 +02:00
Julien Malka	36a61df8be	Updated keys	2022-10-12 09:54:19 +02:00
Julien Malka	6b4b2cbe31	Added linkal service	2022-09-27 06:58:08 +02:00
Julien Malka	4c3e8ccb90	Removed polr from lisa	2022-09-25 07:00:12 +02:00
Julien Malka	74155f0524	Removed linux 5.18	2022-09-25 06:48:54 +02:00