1# @Time    : 2020-04-17
2# @Language: Markdown
3# @Software: VS Code
4# @Author  : Di Wang
5# @Email   : [email protected]

Raspberry pi

Some memo during the usage of Raspberry Pi

Linux Kernel

How to obtain the kernel config options ? https://superuser.com/questions/287371/obtain-kernel-config-from-currently-running-linux-system

  1. sudo modprobe configs
  2. cat /proc/config.gz | gunzip > running.config
  3. less running.config

Using a proxy

vim /etc/environment

1export http_proxy="http://yourproxy:prot"
2export https_proxy="https://yourproxy:prot"
3export no_proxy="localhost, 127.0.0.1"

Then run sudo visudo, add below line:

Defaults env_keep+="http_proxy https_proxy no_proxy"

Reboot

EPICS_HOST_ARCH should be linux-arm