Мне нужно интернет-соединение для использования ppa ondrej?

Я хочу использовать ondrej ppa для обновления php версии в сервере человечности. Мне нужно интернет-соединение для выполнения этой команды?

  sudo apt-get install python-software-properties
  sudo add-apt-repository ppa:ondrej/php
  sudo apt-get update
  sudo apt-get install -y php7.1

Я попробовал и произвожу ошибку ondrej/ubuntu/php, ondrej пользователь, или команда не существует.

Спасибо