##// END OF EJS Templates
config: Add argument to convert settings to lowercase or not....
config: Add argument to convert settings to lowercase or not. Most settings should be converted to lowercase during app init. But at least file system paths should not lower cased. Threfore we need a switch to control it.

File last commit:

r1:854a839a default
r1003:7a52996d default
Show More
repo_edit_remote.html
29 lines | 1.1 KiB | text/html | HtmlLexer
<div class="panel panel-default">
<div class="panel-heading">
<h3 class="panel-title">${_('Remote url')}</h3>
</div>
<div class="panel-body">
%if c.repo_info.clone_uri:
<div class="panel-body-title-text">${_('Remote mirror url')}: <a href="${c.repo_info.clone_uri}">${c.repo_info.clone_uri_hidden}</a></div>
${h.secure_form(url('edit_repo_remote', repo_name=c.repo_name), method='put')}
<div class="form">
<div class="fields">
${h.submit('remote_pull_%s' % c.repo_info.repo_name,_('Pull changes from remote location'),class_="btn btn-small",onclick="return confirm('"+_('Confirm to pull changes from remote side')+"');")}
</div>
</div>
${h.end_form()}
%else:
<div class="panel-body-title-text">${_('This repository does not have any remote mirror url set.')}</div>
<button class="btn btn-default" type="submit" disabled="disabled">
${_('Pull changes from remote location')}
</button>
%endif
</div>
</div>