TenjintShell.alias\_manager =========================== .. currentmodule:: tenjint.plugins.interactive .. autoattribute:: TenjintShell.alias_manager