История bash не записывает неудачные или ошибочные команды
Пин определяет приоритет для пакетов, соответствующих пину :в вашем случае, пакетов, имя которых начинается с cinderи версия которых начинается с 2.13.0.7. Пакеты, которые не соответствуют пин-коду, включая пакеты cinderс другой версией, следуют любому другому совпадающему пин-коду или приоритетам по умолчанию.
Поскольку 2.13.0.7 больше не находится в архивах и в настоящее время не установлена, нет артефакта, соответствующего пин-коду, и нет артефакта с приоритетом 1001. Предположительно, 2.13.0.8 имеет приоритет по умолчанию 500 или 990 и является законный кандидат на апгрейд; ничто не имеет более высокого приоритета, поэтому он оказывается кандидатом .
Переменная HISTIGNOREпозволяет системе истории bash игнорировать определенные команды. Здесь вы устанавливаете это на:
export HISTIGNORE="s*"
Обратите внимание, что это перезапишет предыдущий HISTIGNORE="ls:ps:history". Что еще более важно, этот s*говорит bash не сохранять в истории команды, начинающиеся с s, что хорошо объясняет, почему ваш sudo apt-cacheне сохраняется:sudoначинается с s.