2017-08-27 13:02:19 -04:00
|
|
|
# old version (without -$pkgrel): ${1%%-*}
|
|
|
|
|
# new version (without -$pkgrel): ${2%%-*}
|
|
|
|
|
|
|
|
|
|
post_install() {
|
2018-06-01 08:08:14 -04:00
|
|
|
cat << EOF
|
|
|
|
|
Steps:
|
2017-08-27 13:02:19 -04:00
|
|
|
|
2018-06-01 08:08:14 -04:00
|
|
|
0. Install this package
|
2017-08-27 13:02:19 -04:00
|
|
|
|
2018-06-01 08:08:14 -04:00
|
|
|
1. Install display driver package
|
2017-08-27 13:02:19 -04:00
|
|
|
|
2018-06-01 08:08:14 -04:00
|
|
|
2. Reboot or
|
|
|
|
|
|
|
|
|
|
2a. sudo modprobe evdi
|
|
|
|
|
2b. dmesg -w # watch for evdi messages
|
|
|
|
|
2c. Replug USB display device
|
|
|
|
|
|
|
|
|
|
3. Enable screen
|
|
|
|
|
EOF
|
2017-08-27 13:02:19 -04:00
|
|
|
}
|
2018-06-01 08:08:14 -04:00
|
|
|
|
