forge/pmaports
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions
2749 commits 1 branch 0 tags 54 MiB
Commit graph

4 commits

Author SHA1 Message Date
Oliver Smith
64035ac463
device/*: move to device/testing/* (!1063) 
Prepare for better device categorization by moving everything to testing
subdir first.

[skip-ci]: chicken-egg problem: passing pmaports CI depends on pmbootstrap MR
				depends on this MR

Related: postmarketos#16
 2020-03-14 08:35:32 +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
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