Вы заметили что с интерактивной консолью из прошлого поста что-то не так? Что происходит если нажать стрелки вверх/вниз? Полный бардак!
Давайте поправим это дело!
Для сохранения и загрузки истории будем использовать специальный модуль readline.
Что добавлено?
🔸 Сохранение истории команд с возможностью выбора предыдущих (клавиши ⬆️⬇️ )
🔸 Сохранение истории в файл перед выходом из интерактива для будущих сессий
🔸 Автокомплит по нажатию клавиши TAB
🔸 Cписок вариантов автокомплита по двойному нажатию TAB
Код забираем здесь ↗️
#tricks#source
The Battle of Munda was fought on 17 March 45 BC in southern Hispania. Julius Caesar faced the last Pompeian army led by Gnaeus Pompeius, Sextus Pompeius, and Titus Labienus. The Pompeians held high ground. After hours of heavy fighting, Caesar’s army won. Around 30,000 Pompeians were killed. The victory ended major resistance to Caesar in the Roman civil war.
⚔️🏛️
[Read more]
@googlefactss
#history#romanempire#ancientrome#juliuscaesar#historyfacts#war
✨Ребята, отличные новости от Бан Чана из Stray Kids! Он выпускает свой новый сольный сингл - «Roman Empire»! 🎵
Этот трек станет творческой коллаборацией с люксовым брендом Fendi 🎀
Клип снимали в Риме, в штаб-квартире бренда - Palazzo della Civiltà Italiana
Бан Чан и Fendi продолжают сотрудничество, ранее в этом году его назначили глобальным амбассадором бренда и вот теперь следует музыкальный проект
🗓️ Уже 3 ноября трек можно будет послушать на всех стриминговых платформах и официальных каналах Fendi
Ждём с нетерпением!
🔥
#StrayKids#БанЧан#BangChan#RomanEmpire#Fendi#Kpop
🇰🇷 Подпишись:Лунный Свет Сеула