delete_user.sh

#!/bin/bash

SERVER="matrix.mycompany.com"

echo -e "\e[97mEnter user you'd like to deactivate\e[0m";
read user

if  [ "$user" == "" ]; then
        echo "User required.";
        exit;
fi

account="@$user:$SERVER";

su postgres -c "psql synapse -c 'DELETE FROM users WHERE name='\''$account'\'';'"
su postgres -c "psql synapse -c 'DELETE FROM user_directory WHERE user_id='\''$account'\'';'"
su postgres -c "psql synapse -c 'DELETE FROM account_data WHERE user_id='\''$account'\'';'"
su postgres -c "psql synapse -c 'DELETE FROM profiles WHERE user_id='\''$user'\'';'"
su postgres -c "psql synapse -c 'DELETE FROM user_external_ids WHERE user_id='\''$account'\'';'"

Thank you so much. I've changed it in the script. I cannot test it though. I don't know whether it should be the full account name ($account) or just the user name ($user). If you have any information on that, I'll be glad to know.

It is user_id, which afaik is always @USER:SYNAPSE

Thanks again, @disconn3ct . I've changed the script again accordingly.