Add SSH Key Management

internal/dis/component/control/static/src/entry/User/index.css

@@ -1 +1,6 @@
-/* nothing for now */
+/* textarea on the /user/ssh/add form */
+textarea#key {
+    width: 50%;
+    height: 10em;
+    resize: both; 
+}

internal/dis/component/control/static/src/entry/User/index.ts

@@ -1 +1 @@
-// nothing for now
+import "~/src/lib/copy"

internal/dis/component/control/static/src/lib/copy/index.css

@@ -0,0 +1,3 @@
+.copy {
+    user-select: all;
+}

internal/dis/component/control/static/src/lib/copy/index.ts

@@ -0,0 +1,8 @@
+import "./index.css"
+
+document.querySelectorAll('.copy').forEach((elem: Element) => {
+    elem.addEventListener('click', () => {
+        if (!navigator.clipboard) return;
+         navigator.clipboard.writeText((elem as HTMLElement).innerText);
+    })
+})