snlavaise/pmaports-rtwo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,746 Commits 1 Branch 0 Tags
7a52ff4b46e7f2bb2cd28efba489cbe8119bfcec
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