Commit graph

7 commits

Author SHA1 Message Date
Minecrell
48b6e76b5e
device/device-*: bump pkgrel (!1036)
All device ports have been changed in one of the previous commits,
so do one pkgrel bump for all of them using:
  $ pmbootstrap pkgrel_bump device-*

[ci:ignore-count]
2020-03-09 10:06:11 +01:00
Minecrell
de2bba9e58
device/device-*: automatically add deviceinfo_year from wiki (!1036)
Download: https://wiki.postmarketos.org/index.php?title=Special:CargoExport&tables=Devices&&fields=Codename%2C+Released&&group+by=Codename&order+by=%60Codename%60%2C+%60Released%60&limit=5000&format=csv

cd device
for device in device-*; do
	year=$(grep -oP "${device#device-},\K2\d{3}" ../results.csv)
	[[ -n "$year" ]] || continue
	sed -i "s/deviceinfo_date=\"\"/deviceinfo_year=\"$year\"/" "$device/deviceinfo"
done

devices=$(git ls-files -m -- . | xargs dirname | sort -u | xargs echo)
pmbootstrap checksum $devices
2020-03-09 10:06:06 +01:00
Minecrell
e302eff0bc
device/device-*: remove empty touchscreen(_calibration) / dev_keyboard (!1036)
Most devices do not need to set any of these variables.
directfb can now automatically detect touchscreens, calibration is
only needed for resistive touchscreens and dev_keyboard is unused.

Automatically done using:
  - sed -i '/deviceinfo_dev_keyboard=""/d' device-*/deviceinfo
  - sed -i '/deviceinfo_dev_touchscreen=""/d' device-*/deviceinfo
  - sed -i '/deviceinfo_dev_touchscreen_calibration=""/d' device-*/deviceinfo
2020-03-09 10:06:00 +01:00
Bart Ribbers
71557f7f0c
device-*: rebuild for the new splash screen generation 2020-01-28 15:40:18 +01:00
HenriDellal
cdbc10b32f
device/device-raspberry-pi0: fix APKBUILD (!874) 2020-01-17 18:10:48 +01:00
Daniele Debernardi
c60f29e974 device-raspberry-pi0: Reduce GPU memory and always install bluetooth package (!127) 2019-01-06 13:27:53 +01:00
Daniele Debernardi
2bc4b640b0
New device: Raspberry Pi Zero with Ethernet over USB enabled (!125)
As mentioned in #151, the Raspberry Pi Zero doesn't have an ethernet
port, so this makes it quite complicated to connect to the device from
a fresh install, because wifi/bluetooth/serial/... are not configured.
With this new package, the device starts with the microUSB configured as
ethernet and the dhcpd is running on the RPI, so you can simply connect
it to a computer and connect with SSH in order to configure it.
2019-01-03 09:48:39 +01:00