wiki repository name is changed from xxx-wiki.git to xxx.wiki.git.

This commit is contained in:
takezoe
2013-05-03 15:18:20 +09:00
parent b29f2fb64a
commit 9ac0a04e3a
2 changed files with 3 additions and 3 deletions

View File

@@ -32,13 +32,13 @@ object WikiUtil {
* Returns the directory of the wiki repository.
*/
def getWikiRepositoryDir(owner: String, repository: String): File =
new File("%s/%s/%s-wiki.git".format(Directory.RepositoryHome, owner, repository))
new File("%s/%s/%s.wiki.git".format(Directory.RepositoryHome, owner, repository))
/**
* Returns the directory of the wiki working directory which is cloned from the wiki repository.
*/
def getWikiWorkDir(owner: String, repository: String): File =
new File("%s/tmp/%s/%s-wiki".format(Directory.RepositoryHome, owner, repository))
new File("%s/tmp/%s/%s.wiki".format(Directory.RepositoryHome, owner, repository))
// TODO synchronized?
def createWikiRepository(owner: String, repository: String): Unit = {

View File

@@ -7,7 +7,7 @@
<li class="pull-right">
<div class="input-prepend">
<span class="add-on">HTTP</span>
<input type="text" value="@repository.url.replaceFirst("\\.git$", "-wiki.git")" style="width: 350px;">
<input type="text" value="@repository.url.replaceFirst("\\.git$", ".wiki.git")" style="width: 350px;">
</div>
</li>
</ul>