SELECT * FROM ssh_exec('<prefix>', 'echo Hello, World');
SELECT * FROM ssh_ls('<prefix>', '/home/ubuntu');
SELECT * FROM ssh_mkdir('<prefix>', '/home/ubuntu/<prefix>');
SELECT * FROM ssh_write_file_text('<prefix>', '/home/ubuntu/<prefix>.txt', 'test file');
SELECT * FROM ssh_read_file_text('<prefix>', '/home/ubuntu/<prefix>.txt');
SELECT * FROM ssh_mv('<prefix>', '/home/ubuntu/<prefix>.txt', '/home/ubuntu/<prefix>/new_location');
SELECT * FROM ssh_rm('<prefix>', '/home/ubuntu/<prefix>/new_location');
SELECT * FROM ssh_rmdir('<prefix>', '/home/ubuntu/<prefix>');
DELETE FROM ssh_credentials WHERE "name" = '<prefix>';