TGTGInsighttelegram intelligenceLIVE / telegram public index
← Python Заметки

TGINSIGHT SIMILAR POSTS

Најди сличен содржај

Изворен канал @pythonotes · Post #383 · 28 окт.

Что нового добавили в REPL в Python 3.13 На самом деле серьезно его прокачали! ▫️Както я писал, что для выхода из REPL приходится писать exit, еще и скобки для вызова. И было бы удобней сделать это по аналогии с обычным терминалом. Видимо, я не один такой😁 В новом REPL добавили несколько команд: exit или quit: для выхода. Именно так, без вызова функции! clear: для очистки терминала help или F1: для входа в режим справки (q для выхода) ▫️ Автокомплит по TAB аналогичный Linux-терминалу. Одиночный TAB заполняет самое пхожее совпадение, двойной показывает все доступные варианты. Эти варианты фильтруются по мере набора. ▫️ Ранее при вставке многострочного кода с пустыми строками мы получали ошибку IndentationError, теперь это исправили. Хотя, в некоторых терминалах это даже с 3.6 работает нормально, но зависит от конкретной реализации именно терминала а не Python. На винде точно не работает до 3.13. Пример кода для теста в 3.12 и 3.13 class A: def test(self): pass ▫️ История ввода теперь учитывает многосрочные команды.При нажатии стрелки вверх появятся все строки из прошлого многосрочного ввода, по ним даже можно перемещаться и редактировать. По нажатию F2 можно открыть всю историю ввода. ▫️ Колоризация кода для tracebacks и doctest. Также я заметил что имеет цвет промт функции input(). Кстати, для тестов на винде без установки можно использовать портейбл версию из проектаWinPython. #release

Hashtags

Резултати

Пронајдени 1 слични објави

Пребарај: #fatherhood

当前筛选 #fatherhood清除筛选

🎉С Днём отца, Южная Африка! 🧔‍♂️💙 В третье воскресенье июня в ЮАР поздравляют пап с их праздником. Пусть отцовская забота, сила и любовь вдохновляют новые поколения! 🇿🇦 #ДеньОтца#ЮАР#Семья#Праздники#Отцы ___________________ 🎉Happy Father’s Day, South Africa! 🧔‍♂️💙 On the third Sunday of June, South Africa celebrates dads and all they do. Wishing strength, love, and joy to fathers across the country! 🇿🇦 #FathersDay#SouthAfrica#Family#Fatherhood#Celebration