anzhuang ruanjian

makepkg -i

https://github.com/arch4edu/arch4edu/wiki/Add-arch4edu-to-your-Archlinux

Add arch4edu to your Archlinux

 

Jingbei Li edited this page 20 days ago · 23 revisions

1. Please select a mirror site of arch4edu.
   • China
     • Tsinghua University (Source)
       https://mirrors.tuna.tsinghua.edu.cn/arch4edu/$arch
     • Nanjing University
       https://mirrors.nju.edu.cn/arch4edu/$arch
     • Ping An Cloud
       https://mirrors.pinganyun.com/arch4edu/$arch
     • Yunnan University
       https://mirrors.ynuosa.org/arch4edu/$arch
   • United States
     • Keybase
       https://arch4edu.keybase.pub/$arch
2. Import GPG key

$ pacman-key --recv-keys 7931B6D628C8D3BA
$ pacman-key --finger 7931B6D628C8D3BA
$ pacman-key --lsign-key 7931B6D628C8D3BA

3. Then add

[arch4edu]
Server = <the mirror site you choose>

to your /etc/pacman.conf.

[Not recommended] Skip importing GPG key and add

[arch4edu]
SigLevel = Never
Server = <the mirror site you choose>

to your /etc/pacman.conf.

<the mirror site you choose> should be replace with the mirror site's URL.

4. [Recommended] Please also install pkgstats to help us learn the trends of the packages we maintaining.

$ pacman -S pkgstats

安装yay软件安装工具
pacman -S yay

yay -S ros-melodic-desktop-full

http://wiki.ros.org/melodic/Installation/ArchLinux