http_proxy установлен, но где?

Использовать скобки

http://brackets.io/

Перейдите по этой ссылке и загрузите файл deb. http://brackets.io/

Затем перейдите в папку, в которую вы загружаете файл deb, используя команду cd.

dpkg -i brackets-sprint-30-LINUX64.deb [ ! d6]

(Возможно, вам придется сменить скобки-sprint-30-LINUX64.deb в зависимости от загружаемого файла.)

В разделе «Категория программирования» вы можете найти скобки. Это было разработано Adobe, как я знаю