Overview
| Comment: | Fix issues with stripped whitespace in production builds. Also remember to upload svg. |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
623d53c5f620f9e3ab9020f980c2273f |
| User & Date: | robin.hansen on 2020-11-16 05:41:02 |
| Other Links: | manifest | tags |
Context
|
2020-11-19
| ||
| 06:03 | Use snapshot of Play compiler for playground. check-in: 10ba5c7b4d user: robin.hansen tags: trunk | |
|
2020-11-16
| ||
| 05:41 | Fix issues with stripped whitespace in production builds. Also remember to upload svg. check-in: 623d53c5f6 user: robin.hansen tags: trunk | |
| 05:17 | Fill in selling points. check-in: a2219f0d80 user: robin.hansen tags: trunk | |
Changes
Modified deploy.sh from [747abd8742] to [141df7d2eb].
1
2
3
4
5
6
7
8
9
10
11
..
15
16
17
18
19
20
21
22
23
|
#!/usr/bin/env bash
set -e
rm -r dist || true
npm ci
npm run build
# Upload to s3
pushd dist
aws s3 cp ./index.html s3://play-website \
................................................................................
--cache-control immutable
aws s3 cp ./playground.html s3://play-website \
--cache-control must-revalidate
aws s3 cp ./*.js s3://play-website \
--cache-control immutable
popd
|
>
>
>
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
..
17
18
19
20
21
22
23
24
25
26
27
28
|
#!/usr/bin/env bash set -e rm -r dist || true rm -r .cache || true npm ci npm run build # Upload to s3 pushd dist aws s3 cp ./index.html s3://play-website \ ................................................................................ --cache-control immutable aws s3 cp ./playground.html s3://play-website \ --cache-control must-revalidate aws s3 cp ./*.js s3://play-website \ --cache-control immutable aws s3 cp ./*.svg s3://play-website \ --cache-control immutable popd |
Modified src/index.css from [594a3b9c1e] to [8de30d97c0].
102 103 104 105 106 107 108 109 110 111 112 113 114 115 |
#selling-points .content {
display: flex;
justify-content: space-between;
}
.shell {
padding: 8px;
background-color: rgb(0, 0, 0);
color: rgb(255, 255, 255);
white-space: pre-line;
font-family: monospace;
}
|
> |
102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 |
#selling-points .content {
display: flex;
justify-content: space-between;
}
.shell {
margin: 0;
padding: 8px;
background-color: rgb(0, 0, 0);
color: rgb(255, 255, 255);
white-space: pre-line;
font-family: monospace;
}
|
Modified src/index.html from [dcf853ddd2] to [b952386a4a].
39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 |
<section id="selling-points">
<article>
<h3>Minimal, yet flexible, syntax</h3>
<div class="content">
<p>The syntax of Play is based on Forth, resulting in a syntax which could fit on a postcard while still being flexible enough for anything you need. All functions (what we call 'words') are implicitly composable, and so Play programs are a concatination of words just like books.</p>
<code class="shell">
def: main
: 1 inc
2 =
def: inc
: 1 +
def: dec
: 1 -
</code>
</div>
</article>
<article>
<h3>Easy to reason about</h3>
<div class="content">
<p>Play uses a static type system with type inference, which lets you rule out bugs while it staying out of your way. In addition, all data structures are immutable, greatly reducing the number of states your program can be in and which you must account for when writing code.</p>
<div class="shell">
Compilation failed:
2 | def: main
3 | type: -- Int
4 | entry: true
5 | : 1 2
The type of 'main' is specified to be -- Int.
However, it seems that the actual type is: -- Int Int
</div>
</div>
</article>
<article>
<h3>Portable</h3>
<div class="content">
|
| | | | |
39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 |
<section id="selling-points">
<article>
<h3>Minimal, yet flexible, syntax</h3>
<div class="content">
<p>The syntax of Play is based on Forth, resulting in a syntax which could fit on a postcard while still being flexible enough for anything you need. All functions (what we call 'words') are implicitly composable, and so Play programs are a concatination of words just like books.</p>
<pre class="shell">
def: main
: 1 inc
2 =
def: inc
: 1 +
def: dec
: 1 -
</pre>
</div>
</article>
<article>
<h3>Easy to reason about</h3>
<div class="content">
<p>Play uses a static type system with type inference, which lets you rule out bugs while it staying out of your way. In addition, all data structures are immutable, greatly reducing the number of states your program can be in and which you must account for when writing code.</p>
<pre class="shell">
Compilation failed:
2 | def: main
3 | type: -- Int
4 | entry: true
5 | : 1 2
The type of 'main' is specified to be -- Int.
However, it seems that the actual type is: -- Int Int
</pre>
</div>
</article>
<article>
<h3>Portable</h3>
<div class="content">
|