почему бы вам не попробовать tilda или guake, оба доступны в репозиториях ubuntu. Хотя они специально не делают то, что вам нужно, я уверен, что это та вещь, которую вы искали, но не знали, что она существует. ;)
EDIT: ok, я был немного расплывчатым, более подробная информация:
из википедии:
Tilda - эмулятор терминала GTK +. Его дизайн был вдохновлен консолями в компьютерных играх, таких как Quake, которые скользят вниз от верхней части экрана, когда нажата клавиша, обычно тильда, и сдвигаются назад, когда клавиша снова нажата. Запуск Tilda может быть быстрее, чем запуск нового терминала с помощью сочетания клавиш, поскольку программа уже загружена в память; это может быть полезно людям, которые часто обнаруживают открытие и закрытие терминалов для нечетных задач.guake на самом деле то же самое, единственное различие, которое я заметил, это то, что я не мог заставить его открывать http-ссылки ctrl + click, которые я нашел раздражающими
Сначала вы должны обновить свои репозитории, чтобы вы могли использовать новые ppa. Do:
sudo apt-get update
и повторите попытку.
Это сообщение означает, что в репозитории, который вы ищете, нет пакетов для 13.10. Попытайтесь изменить chanel с stable до unstable, если вам нужен everpad прямо сейчас. Подождите несколько дней, пока в репозитории не появится необходимый пакет.