User Tools

Site Tools


raspberry-pi:raspbian

Raspbian

Apt sources

Wheezy

/etc/apt/sources.list

deb http://mirrordirector.raspbian.org/raspbian/ wheezy main contrib non-free rpi

/etc/apt/sources.list.d/raspi.list

deb http://archive.raspberrypi.org/debian/ wheezy main

Jessie

/etc/apt/sources.list

deb http://mirrordirector.raspbian.org/raspbian/ jessie main contrib non-free rpi

/etc/apt/sources.list.d/raspi.list

deb http://archive.raspberrypi.org/debian/ jessie main

Hardware random number generator

Install the package rng-tools and add to /etc/modules:

bcm2708-rng

Increase USB power

Add this to /boot/config.txt

max_usb_current=1

Force always HDMI output

Force specific HDMI resolution

Add this to /boot/config.txt

hdmi_group=1
hdmi_mode=16

Tip: you can check the current state with tvservice -s

List of resolutions: https://www.raspberrypi.org/documentation/configuration/config-txt/video.md

Missing man pages

Kernel

There are 2 kernels available, one distributed by the Raspberry Foundation (package raspberrypi-bootloader) and another by Debian/Raspbian (packages raspberrypi-bootloader-nokernel and linux-image-rpi2-rpfv). If the last packages don't appear, add firmware as a component of the raspbian repository.

https://www.raspberrypi.org/forums/viewtopic.php?t=50310&f=66

Partitions

The PARTUUID identifier is autogenerated from the MBR's partition table identifier, it can be shown with:

$ sudo fdisk /dev/sdb

Welcome to fdisk (util-linux 2.29.2).
Changes will remain in memory only, until you decide to write them.
Be careful before using the write command.


Command (m for help): p
Disk /dev/sdb: 7.4 GiB, 7948206080 bytes, 15523840 sectors
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: dos
Disk identifier: 0x7ee80803

This matches the identifier of the partitions:

$ sudo blkid
/dev/sdb1: LABEL="boot" UUID="9304-D9FD" TYPE="vfat" PARTUUID="7ee80803-01"
/dev/sdb2: LABEL="rootfs" UUID="29075e46-f0d4-44e2-a9e7-55ac02d6e6cc" TYPE="ext4" PARTUUID="7ee80803-02"
sudo lsblk -o name,mountpoint,label,size,uuid
sudo blkid

It can be changed using fdisk:

fdisk /dev/sdb
p
x
i
0x${PTUUID}
r
p
w

Also, the UUID of the partition (different from the previous one) can be modified with:

sudo tune2fs /dev/sde5 -U <UUID>

Automount USB drived

sudo aptitude install usbmount

Create an override for systemd-udevd:

sudo systemctl edit systemd-udevd

And add the following in the editor that opens:

[Service]
MountFlags=shared

Increase systemd service timeout

Set this in the file /etc/systemd/system.conf:

DefaultTimeoutStartSec=infinity

This will avoid timing out the fsck filesystem check on boot.

References

raspberry-pi/raspbian.txt · Last modified: 2019/01/14 21:18 by josep