diff options
| author | crupest <crupest@crupest.life> | 2024-11-02 21:58:44 +0800 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-11-03 14:57:52 +0100 |
| commit | 0823080fe156dc58df2fa26422349627e3b0e90b (patch) | |
| tree | 69f7de6f2a42bc29f922b87e3e77870e73a04efe /hurd/dde | |
| parent | 55faa7142268f0fa13ef286270e382753463268a (diff) | |
This a very trivial change. The former is just an alias of latter.
But for new users and contributors like me, it sometimes confuses
them what the difference is between the two ones. Is one old and the
other new? Or something confusing else. So this patch helps them
save some time.
Signed-off-by: Yuqian Yang <crupest@crupest.life>
Message-ID: <8690a9c5-1da4-4adc-92b9-fd8f8dab2c88@crupest.life>
Diffstat (limited to 'hurd/dde')
| -rw-r--r-- | hurd/dde/guide.mdwn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hurd/dde/guide.mdwn b/hurd/dde/guide.mdwn index b6cf7753..10a7910b 100644 --- a/hurd/dde/guide.mdwn +++ b/hurd/dde/guide.mdwn @@ -74,9 +74,9 @@ Note: here, use dde-debian instead of dde if you have gnumach >= 2:1.3.99.dfsg.git20120219-1 already installed and running. Otherwise you will get "vm_allocate_contiguous: (ipc/mig) bad request message ID" error messages. - $ git clone git://git.sv.gnu.org/hurd/incubator.git -b dde hurd + $ git clone git://git.savannah.gnu.org/hurd/incubator.git -b dde hurd - $ git clone git://git.sv.gnu.org/hurd/gnumach.git -b master-user_level_drivers + $ git clone git://git.savannah.gnu.org/hurd/gnumach.git -b master-user_level_drivers Now comes the tricky part: you need to find out |