etc/options
changeset 69431 10fc8a648250
parent 69353 a6e83dcc00e6
child 69520 16779868de1f
     1.1 --- a/etc/options	Sat Dec 08 22:56:45 2018 +0100
     1.2 +++ b/etc/options	Sat Dec 08 23:50:56 2018 +0100
     1.3 @@ -230,13 +230,13 @@
     1.4  
     1.5  section "Secure Shell"
     1.6  
     1.7 -option ssh_config_dir : string = "~/.ssh"
     1.8 +option ssh_config_dir : string = "$HOME/.ssh"
     1.9    -- "SSH configuration directory"
    1.10  
    1.11 -option ssh_config_file : string = "~/.ssh/config"
    1.12 +option ssh_config_file : string = "$HOME/.ssh/config"
    1.13    -- "main SSH configuration file"
    1.14  
    1.15 -option ssh_identity_files : string = "~/.ssh/id_dsa:~/.ssh/id_ecdsa:~/.ssh/id_rsa"
    1.16 +option ssh_identity_files : string = "$HOME/.ssh/id_dsa:$HOME/.ssh/id_ecdsa:$HOME/.ssh/id_rsa"
    1.17    -- "possible SSH identity files (separated by colons)"
    1.18  
    1.19  option ssh_compression : bool = true