2012-07-30 01:54:23 +00:00
|
|
|
<div .span9 ##{ident} .hero-unit>
|
2012-07-31 16:17:31 +00:00
|
|
|
$maybe reldir <- relDir webapp
|
|
|
|
|
<h2>
|
|
|
|
|
git-annex is watching over your files in <small><tt>#{reldir}</tt></small>
|
|
|
|
|
<p>
|
2012-10-11 19:00:43 +00:00
|
|
|
It will automatically notice changes, and keep files in sync #
|
2012-10-30 22:21:13 +00:00
|
|
|
$if (null repolist)
|
2012-10-11 19:00:43 +00:00
|
|
|
with repositories elsewhere ...
|
2012-07-31 16:17:31 +00:00
|
|
|
<h2>
|
|
|
|
|
But no other repositories are set up yet.
|
2012-08-05 23:55:06 +00:00
|
|
|
<a .btn .btn-primary .btn-large href="@{RepositoriesR}">Add another repository</a>
|
2012-07-30 01:54:23 +00:00
|
|
|
$else
|
2012-10-11 19:00:43 +00:00
|
|
|
\ with these repositories:
|
2012-07-31 16:17:31 +00:00
|
|
|
<table .table .table-striped .table-condensed>
|
|
|
|
|
<tbody>
|
2012-09-13 20:47:44 +00:00
|
|
|
$forall (num, name, _) <- repolist
|
2012-07-31 16:17:31 +00:00
|
|
|
<tr>
|
|
|
|
|
<td>
|
|
|
|
|
#{num}
|
|
|
|
|
<td>
|
|
|
|
|
#{name}
|
2012-08-05 23:55:06 +00:00
|
|
|
<a .btn .btn-primary .btn-large href="@{RepositoriesR}">Add another repository</a>
|
2012-07-31 16:17:31 +00:00
|
|
|
<p>
|
|
|
|
|
Or just sit back, watch the magic, and get on with using your files.
|
