Don’t worry, it’s always ok to ask! Looking forward to a PR, though if you prefer a quick-n-dirty local patch that’s fine :)
Regards, Almar From: Niall Farrington Sent: 09 March 2017 21:09 To: Pyzo Cc: [email protected] Subject: Re: [Pyzo] magic command namespace Hey Almar, Yep my bad I should have thought/guessed. I'll ruminate on a solution but just patching it would be good enough. If I think of anything better/extensible I'll submit something to git. Thanks On Thursday, 9 March 2017 11:51:27 UTC, Almar Klein wrote: Hi, No, the names of the magic commands are pretty hard-coded, so you’d have to edit pyzo/pyzokernel/magic.py. One idea might be to allow a percentage sign in front of the magic command, like IPython does. That way it is possible to unambiguously use a magic command. Regards, Almar From: [email protected] Sent: 08 March 2017 14:02 To: Pyzo Subject: [Pyzo] magic command namespace I have only just started using pyzo as a general purpose on windows and linux. Is there a way to disable or re-map magic commands specifically 'db' as it clashes with another namespace? Currently using pyzo as a general purpose python IDE. Shell config is it? I'd prefer 'debug' instead of 'db' as I get an error when I use 'db.test' (for a mongoclient connection) and yes I know I could just not do it... just askin' don't flame me. -- You received this message because you are subscribed to the Google Groups "Pyzo" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Pyzo" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Pyzo" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
