--- a/etc/options Sat Dec 08 22:56:45 2018 +0100
+++ b/etc/options Sat Dec 08 23:50:56 2018 +0100
@@ -230,13 +230,13 @@
section "Secure Shell"
-option ssh_config_dir : string = "~/.ssh"
+option ssh_config_dir : string = "$HOME/.ssh"
-- "SSH configuration directory"
-option ssh_config_file : string = "~/.ssh/config"
+option ssh_config_file : string = "$HOME/.ssh/config"
-- "main SSH configuration file"
-option ssh_identity_files : string = "~/.ssh/id_dsa:~/.ssh/id_ecdsa:~/.ssh/id_rsa"
+option ssh_identity_files : string = "$HOME/.ssh/id_dsa:$HOME/.ssh/id_ecdsa:$HOME/.ssh/id_rsa"
-- "possible SSH identity files (separated by colons)"
option ssh_compression : bool = true