From 3b51d18ce75230a7e91755e63890f19442b9a851 Mon Sep 17 00:00:00 2001
From: Nick O'Leary <nick.oleary@gmail.com>
Date: Wed, 20 Dec 2017 16:08:57 +0000
Subject: [PATCH] Change default user filename prefix for sshkeys

---
 red/api/editor/sshkeys.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/red/api/editor/sshkeys.js b/red/api/editor/sshkeys.js
index 08ae241ed..abfd49aa8 100644
--- a/red/api/editor/sshkeys.js
+++ b/red/api/editor/sshkeys.js
@@ -21,7 +21,7 @@ var settings;
 var needsPermission = require("../auth").needsPermission;
 
 function getUsername(userObj) {
-    var username = '.default';
+    var username = '__default';
     if ( userObj && userObj.name ) {
         username = userObj.name;
     }