diff options
author | Daniel Vetter <daniel.vetter@ffwll.ch> | 2018-04-26 17:37:12 +0200 |
---|---|---|
committer | Daniel Vetter <daniel.vetter@ffwll.ch> | 2018-04-30 08:32:33 +0200 |
commit | 540371e7dec9836b7443444c81992fb7d9a1e9d7 (patch) | |
tree | 0f6d75c166c67bedc83165fb8e61aac770001bb2 | |
parent | e6f9b663ee88c0a18a38b4b4f788887ee2a5a5b0 (diff) |
getting-started.rst: small polish for the quickstart text
dim setup has become quite a bit more user friendly since we've typed
this text.
Reviewed-by: Jani Nikula <jani.nikula@intel.com>
Signed-off-by: Daniel Vetter <daniel.vetter@intel.com>
-rw-r--r-- | getting-started.rst | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/getting-started.rst b/getting-started.rst index 10c3a1125e4d..d035862e3970 100644 --- a/getting-started.rst +++ b/getting-started.rst @@ -30,8 +30,10 @@ you have improvements for dim, see `contributing If you have a freedesktop.org account and plan to push things on one of the drm-xxx repos, you should use the ssh://git.freedesktop.org/git/drm-xxx urls -when adding a remote and, if it's not already done, you should add a new entry in -~/.ssh/config:: +when adding a remote. Note that dim will ask you to add missing remotes +automatically, and by default uses the ssh:// url format. To make these urls +without login names work, you should add a new entry in ~/.ssh/config, if that's +not yet configured:: $ printf '\nHost git.freedesktop.org\n\tUser <username>' >> ~/.ssh/config |