Хотя API позволяет работать с репозиториями в интерфейсе командной строки, для удаления репозитория необходимо войти в систему и использовать веб-сайт.https://success.docker.com/article/how-do-i-delete-a-repository
Такое поведение связано с включенным direxpand
. У вас, вероятно, есть это в вашем bashrc:
shopt -s direxpand
Вам нужно будет удалить эту строку или изменить ее на shopt -u direxpand
. К сожалению, это означает, что вы теряете другие преимущества direxpand (лично у меня он включен, потому что мне не нравится, когда $
экранируется завершением табуляции -).