Filename: ///var//lib/dpkg/alternatives//pico

auto /usr/bin/pico pico.1.gz /usr/share/man/man1/pico.1.gz /bin/nano 10 /usr/share/man/man1/nano.1.gz

./Ninja\.