Что нового добавили в 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
Mario #Draghi: “Abbiamo giustamente un'agenda climatica ambiziosa in Europa e obiettivi ambiziosi per i veicoli elettrici. Ma in un mondo in cui i nostri rivali controllano molte delle risorse di cui abbiamo bisogno, tale agenda deve essere combinata con un piano per proteggere la nostra catena di approvvigionamento, dai minerali critici alle batterie fino alle infrastrutture di ricarica.” - ANSA
@UltimoraPolitics
Mario #Draghi: "Esprimo il più sentito cordoglio per la morte di Silvio Berlusconi, assoluto protagonista della vita pubblica italiana degli ultimi cinquant'anni. Da imprenditore ha rivoluzionato il mondo della comunicazione e dello sport, con spirito d’iniziativa e innovazione straordinari. Da leader ha trasformato la politica ed è stato amato da milioni di italiani per la sua umanità e il suo carisma. Alla famiglia, ai dipendenti del suo gruppo, alla comunità di Forza Italia, le più sentite condoglianze"
@UltimoraPolitics
Mario #Draghi: "La brutale invasione russa dell'Ucraina non era un atto di follia imprevedibile ma un passo premeditato. Non c'è alternativa per Usa ed Europa se non garantire che l'Ucraina vinca questa guerra. Accettare una vittoria russa infliggerebbe un colpo fatale all'Ue"
@UltimoraPolitics
Bruxelles, duro intervento di Mario #Draghi al vertice Ue. Il premier italiano ha chiesto unità ed esortato l'Unione a dare risposte immediate contro la crisi energetica: rimarcata la necessità di agire in fretta con un tetto al prezzo del gas e uno strumento…
Bruxelles, duro intervento di Mario #Draghi al vertice Ue. Il premier italiano ha chiesto unità ed esortato l'Unione a dare risposte immediate contro la crisi energetica: rimarcata la necessità di agire in fretta con un tetto al prezzo del gas e uno strumento di solidarietà come lo Sure sull'energia
@UltimoraPolitics
Il saluto di #Draghi ai giornalisti a Palazzo Chigi: "Ho imparato molte cose, è stata una esperienza straordinaria di cui sono molto contento. Finisce in modo molto soddisfacente, con la buona coscienza del lavoro fatto, che è la cosa più importante"
@UltimoraPolitics
#Draghi ai ministri: "Orgogliosi dei risultati raggiunti. Tra qualche settimana si insedierà il nuovo esecutivo, espressione del recente risultato elettorale. Rinnovo l'invito ad agevolare una transizione ordinata: lo dobbiamo alle istituzioni ma soprattutto ai cittadini. I governi passano, l'Italia resta"
@UltimoraPolitics
Mario #Draghi furioso contro Germania, Paesi Bassi e Von Der Leyen: “Se andiamo in recessione colpa vostra. Cosa può fare ora Meloni?”
@UltimoraPolitics
Su proposta del premier #Draghi, il Consiglio dei Ministri ha approvato otto progetti di impianti di produzione di energia elettrica alimentati da fonti rinnovabili (eolica, fotovoltaica e geotermica).
@ClimateWatch