How to ensure Electrum connects to my personal Electrs server and to no different server?

I wish to join my Electrum pockets app to my personal Electrs server in my native LAN which can also be reachable through onion. I wish to simply use this one server, no different server. My ~/.electrum/config is

    "alias": "",
    "auto_connect": false,
    "blockchain_preferred_block": 
        "hash": "000000000019d6689c085ae165831e934ff763ae46a2a6c172b3f1b60a8ce26f",
        "peak": 0
    ,
    "check_updates": true,
    "config_version": 3,
    "gui_last_wallet": "/Customers/$USER/.electrum/wallets/default_wallet",
    "is_maximized": false,
    "oneserver": false,
    "proxy": "socks5:127.0.0.1:9050::",
    "recently_open": [
        "/Users/$USER/.electrum/wallets/default_wallet"
    ],
    "rpcpassword": "",
    "rpcuser": "",
    "server": "one thing.onion:50002:s",
    "show_channels_tab": true

This appears to work fantastic within the sense that I’m related. However I’ve plenty of nodes in my record underneath the “Community” settings in Electrum. And it’s because the oneserver property is about to false. If I attempt to set it to true within the config manually, Electrum begins and works fantastic however the config file is reverted to its outdated state with false in it.

How can I make certain this works?