Peter Johnson
26d7b94837
Use service log feature for robust kill/terminate
2018-11-30 21:26:58 -08:00
Peter Johnson
a0a68d9a7a
Use netconsoleTee instead of netconsoleServer
2018-11-30 20:03:52 -08:00
Peter Johnson
e2e18ddbc0
Use setuidgids instead of sudo -u for setting groups
2018-11-30 19:58:54 -08:00
Peter Johnson
d0c39e088b
Use sudo instead of setuidpid
...
This keeps the supplementary groups, most importantly video, which is
needed to access the video devices.
2018-11-30 14:09:18 -08:00
Peter Johnson
dd04f57093
Various updates, start including rpiConfigServer
...
* Provide shell script to copy in external dependencies
* Install Python 3 and build-essential
* Install OpenCV libraries including Python 3 bindings
* Install rpiConfigServer as service
* Improve service scripts with exec, netconsoleServer
* Don't include JDK debug info (shrinks zip size a lot)
* Include libraries, headers, and jars for wpiutil, cscore, ntcore
2018-11-30 02:40:39 -08:00
Peter Johnson
d687acb744
Initial FRCVision commit.
2018-11-16 00:52:05 -08:00
Jacen
26fcf59f3f
[adding] qemu emulation layout to test images with qemu
2017-09-14 10:12:30 +01:00
Serge Schneider
207003b5ed
stage2: Move ssh host key regen and NOOBS config scripts to raspberrypi-sys-mods
2017-07-28 13:35:46 +01:00
Serge Schneider
8f361a1c38
Switch to Stretch
2017-07-28 13:35:46 +01:00
Serge Schneider
718a4e8c21
Switch to PARTUUID
2017-03-07 15:14:03 +00:00
Serge Schneider
51fbf45dd7
stage2: Manually install /etc/default/console-setup
...
debconf alone does not seem to work
2017-03-06 09:27:48 +00:00
Serge Schneider
21a681692a
Port regenerate_ssh_host_key to a systemd service
2016-11-24 20:07:05 +00:00
Serge Schneider
c5e4f61df2
regenerate_ssh_host_keys: run in the foreground
2016-11-24 17:41:10 +00:00
Serge Schneider
58e7e4023e
Disable SSH by default
2016-11-23 16:15:22 +00:00
Serge Schneider
ea205dc387
Remove 98-rpi.conf (now handled by raspberrypi-sys-mods)
2016-09-15 15:30:44 +10:00
Serge Schneider
99bf2f4d61
Add Raspbian stages
2016-04-11 07:34:01 +01:00
