##// END OF EJS Templates
Don't do git pull on remote repos since they are bare now, we need to use git fetch on them
Don't do git pull on remote repos since they are bare now, we need to use git fetch on them

File last commit:

r1888:f91d3f9b beta
r2383:e576410f beta
Show More
search_path.html
26 lines | 822 B | text/html | HtmlLexer
##path search
%for cnt,sr in enumerate(c.formated_results):
%if h.HasRepoPermissionAny('repository.write','repository.read','repository.admin')(sr['repository'],'search results check'):
<div class="search_path">
<div class="link">
${h.link_to(h.literal('%s &raquo; %s' % (sr['repository'],sr['f_path'])),
h.url('files_home',repo_name=sr['repository'],revision='tip',f_path=sr['f_path']))}
</div>
</div>
%else:
%if cnt == 0:
<div class="error">
<div class="link">
${_('Permission denied')}
</div>
</div>
%endif
%endif
%endfor
%if c.cur_query and c.formated_results:
<div class="pagination-wh pagination-left">
${c.formated_results.pager('$link_previous ~2~ $link_next')}
</div>
%endif