Ya, tonfa benar dalam kedua hal tersebut. Anda melakukannya dengan mengedit file dan jika Anda tidak ingin membuka editor, Anda dapat melakukannya dengan shell redirect. Tidak ada perintah 'set'.
Ry4an Brase
3
@demas jika Anda mengkloningnya dari repo asli, itu akan mengatur jalur dengan benar - itulah satu-satunya cara yang masuk akal untuk melakukannya dari baris perintah.
weberc2
1
man hgrcmengatakan bahwa saat ini (9 tahun kemudian :-) seharusnya menjadi default:pushurldefault-push.
hg pull
?Jawaban:
Ada di file .hg / hgrc.
sumber
echo -e "[paths]\ndefault = http://myserver/hg/repo1\ndefault-push = ../mytestrepo" >> .hg/hgrc
man hgrc
mengatakan bahwa saat ini (9 tahun kemudian :-) seharusnya menjadidefault:pushurl
default-push.