| <?xml version="1.0" encoding="utf-8"?> |
| <PreferenceScreen xmlns:android="http://schemas.android.com/apk/res/android"> |
| <EditTextPreference |
| android:key="server_address" |
| android:title="Server address" |
| android:hint="10.1.1.1" |
| android:singleLine="true"/> |
| <EditTextPreference |
| android:key="server_port" |
| android:title="Server port" |
| android:numeric="integer" |
| android:defaultValue="22" |
| android:singleLine="true"/> |
| <PreferenceScreen |
| android:key="key_settings" |
| android:title="Host key and identity"/> |
| <CheckBoxPreference |
| android:key="use_external_ssh" |
| android:title="Use external SSH client" |
| android:defaultValue="false"/> |
| <EditTextPreference |
| android:key="ssh_program_name" |
| android:title="SSH client program name" |
| android:defaultValue="/system/bin/ssh"/> |
| |
| </PreferenceScreen> |