Вы говорите «linux», но наверняка это будет особая разновидность Linux, такая как debian, ubuntu, red hat и т. Д.?
Я обычно устанавливаю пакеты (например, R) с помощью установщика пакетов, например ' apt / aptitude '.
Проверьте, как называется установщик пакетов для вашей разновидности Linux, apt доступен в системах debian / ubuntu.
Вы можете использовать apt-get --print-uris
для установки вашего пакета. Подробное руководство можно найти в Ubuntu-help
--print-uris
Instead of fetching the files to install, their URIs are printed. Each
URI will have the path, the destination file name, the size and the
expected md5 hash. Note that the file name to write to will not always
match the file name on the remote site! This also works with the source
and update commands. When used with the update command, the MD5 and size
are not included, and it is up to the user to decompress any compressed
files.
В вашем случае необходимый пакет: linux-headers
sudo apt-get --print-uris --yes install linux-headers-$(uname -r) | grep ^\' | cut -d\' -f2 > packageuri.htm