mirror of
https://github.com/commercialhaskell/stackage-server.git
synced 2026-01-19 23:51:54 +01:00
Remove inclusive/exclusive stuff
This commit is contained in:
parent
41307c3343
commit
08598f152c
@ -17,41 +17,13 @@ $newline never
|
|||||||
<p>
|
<p>
|
||||||
<pre>
|
<pre>
|
||||||
remote-repo: stackage-#{slug}:@{SnapshotR slug StackageHomeR}
|
remote-repo: stackage-#{slug}:@{SnapshotR slug StackageHomeR}
|
||||||
$maybe _ <- minclusive
|
|
||||||
<p>
|
|
||||||
<a href="https://github.com/fpco/stackage/wiki/Stackage-Server-FAQ#whats-the-difference-between-inclusive-and-exclusive-snapshots">What's the difference between inclusive and exclusive snapshots?</a>
|
|
||||||
<h3>
|
<h3>
|
||||||
Setup guide #
|
Setup guide #
|
||||||
<small>
|
<small>
|
||||||
(click to expand)
|
(click to expand)
|
||||||
<div class="accordion" id="accordion2">
|
<div class="accordion" id="accordion2">
|
||||||
|
|
||||||
$maybe inclusive <- minclusive
|
|
||||||
<div class="accordion-group">
|
|
||||||
<div class="accordion-heading">
|
|
||||||
<a class="accordion-toggle" data-toggle="collapse" data-parent="#accordion0" href="#collapse0">
|
|
||||||
<span .number>#{base + 0}
|
|
||||||
Check whether you want an inclusive or exclusive snapshot
|
|
||||||
<div id="collapse0" class="accordion-body collapse">
|
|
||||||
<div class="accordion-inner">
|
|
||||||
<p>
|
|
||||||
This snapshot is: #
|
|
||||||
<strong>
|
|
||||||
$if inclusive
|
|
||||||
inclusive
|
|
||||||
$else
|
|
||||||
exclusive
|
|
||||||
<p>
|
|
||||||
$if inclusive
|
|
||||||
This means that it contains packages from Hackage too,
|
|
||||||
\ which are not guaranteed to build.
|
|
||||||
$else
|
|
||||||
This means that it contains only packages that build
|
|
||||||
\ and have been tested (excludes packages from Hackage
|
|
||||||
\ that <em>may</em> or may not build).
|
|
||||||
<p>
|
|
||||||
For a detailed explanation of the differences and reasons for inclusive and exclusive snapshots, see <a href="https://github.com/fpco/stackage/wiki/Stackage-Server-FAQ#whats-the-difference-between-inclusive-and-exclusive-snapshots">the FAQ on this topic</a>.
|
|
||||||
|
|
||||||
<div class="accordion-group">
|
<div class="accordion-group">
|
||||||
<div class="accordion-heading">
|
<div class="accordion-heading">
|
||||||
<a class="accordion-toggle" data-toggle="collapse" data-parent="#accordion#{base + 0}" href="#collapse1">
|
<a class="accordion-toggle" data-toggle="collapse" data-parent="#accordion#{base + 0}" href="#collapse1">
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user