svenha

How to flash MIUI Fastboot ROM from Linux

Download the fastboot ROM suitable for your device from the MIUI site and extract the downloaded archive [edit: MIUI page is dead. Use Xiaomi Firmware Updater]
Download and extract the Android SDK Platform Tools
Make sure adb and fastboot (components of platform-tools) are in your

postmarketOS and mainline kernel on F(x)tec Pro¹

Below are the steps required to flash postmarketOS (port made by Danct12 based on earlier work by Notkit) and mainline kernel (work done by Kholk and the github.com/somainline group) on the Pro1 msm8998:

2022-03-10. As of today, Danct12's port has not been merged yet, hence there are a couple extra steps to manually apply patches to pmaports. Beware that this is all work in progress and there will be bugs and missing functionality. 2022-03-12. device-fxtec-qx1000-nonfree-firmware added to the port, meaning support for model, WLAN and GPU.

pip3 install --user pmbootstrap
pmbootstrap init and choose edge and whatever device (I chose qemu and aarch64, but it should not matter, we'll redo it later).
cd /path/to/work/directory/you/chose/above/cache_git/pmaports

	#!/bin/bash
	# from http://tex.stackexchange.com/questions/42236/pdfcrop-generates-larger-file

	function usage () {
	echo "Usage: `basename $0` [Options] <input.pdf> [<output.pdf>]"
	echo
	echo " * Removes white margins from each page in the file. (Default operation)"
	echo " * Trims page edges by given amounts. (Alternative operation)"
	echo
	echo "If only <input.pdf> is given, it is overwritten with the cropped output."