Anyways, get your master private key (actually "extended private key") from the console with getmasterprivate() command.
Then see if your other wallet supports importation of xprv keys. You might have to use convert_xkey(xkey="zprv.....",xtype="standard") if the other wallet only support "xprv".
In general this will work, but if uses passphrase, may get something different.
@classmethod
def mnemonic_to_seed(self, mnemonic, passphrase) -> bytes:
PBKDF2_ROUNDS = 2048
mnemonic = normalize_text(mnemonic)
passphrase = passphrase or ''
passphrase = normalize_text(passphrase)
return hashlib.pbkdf2_hmac('sha512', mnemonic.encode('utf-8'), b'electrum' + passphrase.encode('utf-8'), iterations = PBKDF2_ROUNDS)
https://github.com/spesmilo/electrum/blob/df842af0b6b48074a510155fbfd28df295c200d4/electrum/mnemonic.pyThe easiest solution is to create a new wallet and send coins to it, as it is easy to use Electrum seed with Electrum wallet or convert it to BIP39 seed.