------- Comment From <email address hidden> 2017-09-25 11:34 EDT------- You can also try:
echo "deb http://us.ports.ubuntu.com/ubuntu-ports/ $(lsb_release -sc)-proposed main restricted" | sudo tee /etc/apt/sources.list.d/proposed.list sudo apt-get update sudo apt-get install <pkg> sudo apt upgrade linux*4.13.0-11.12*
if you prefer.
------- Comment From <email address hidden> 2017-09-25 11:34 EDT-------
You can also try:
echo "deb http:// us.ports. ubuntu. com/ubuntu- ports/ $(lsb_release -sc)-proposed main restricted" | sudo tee /etc/apt/ sources. list.d/ proposed. list
sudo apt-get update
sudo apt-get install <pkg>
sudo apt upgrade linux*4.13.0-11.12*
if you prefer.