Команда %history
является удивительной, но, к сожалению, она не позволит вам сохранить вещи, которые были% paste 'd в sesh. Для этого я думаю, что вам нужно сделать %logstart
в начале (хотя я не подтвердил, что это работает).
Мне нравится делать
%history -o -n -p -f filename.txt
, который сохранит выходные данные, номера строк и «>>>» перед каждым вводом (опционы o, n и p). См. Документы для% history здесь .