Aren't there SSH clients for iOS? That should work for an emergency hotfix.

		maleldil 7 months ago \| parent \| context \| favorite \| on: Coding without a laptop: Two weeks with AR glasses... Aren't there SSH clients for iOS? That should work for an emergency hotfix.