alternative methods to record the shell activities: • Use tee (usable during the boot process in the initramfs): Referência Debian 145 / 253 $ sh -i 2>&1 | tee typescript • Use gnome-terminal with the extend

micro:bit: echo 'SUBSYSTEM=="usb", ATTR{idVendor}=="0d28", MODE="0664", GROUP="plugdev"' |\ sudo tee /etc/udev/rules.d/50-microbit.rules sudo udevadm control --reload-rules No MacOS: xcode-select --install