Skip to content

Commit 8bde34b

Browse files
committed
file line ending fixups
1 parent e98deb6 commit 8bde34b

15 files changed

+22
-22
lines changed

.gitignore

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
*.o
22
.zig-cache
3-
zig-out
3+
zig-out

assets/normalize.css

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -346,4 +346,4 @@ template {
346346

347347
[hidden] {
348348
display: none;
349-
}
349+
}

build.zig

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,6 @@ pub fn build(b: *std.Build) !void {
77
.content_dir_path = "content",
88
.host_url = "https://matu3ba.github.io/",
99
.layouts_dir_path = "layouts",
10-
.title = "matu3bas Website",
10+
.title = "Jans Website",
1111
});
12-
}
12+
}

clean.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
1-
#!/usr/bin/env sh
1+
#!/usr/bin/env bash
22

33
set -e
44

55
# uses access permissions as simplification of executable detection
6-
if command -v 'fd' &> /dev/null; then
6+
if command -v 'fd' &>/dev/null; then
77
fd -E clean.sh -t x -x rm {}
88
fd -I -e o -t f -x rm {}
99
fd -I -t d zig-cache -x rm -fr {}

impressum.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,4 +12,4 @@ <h2>Impressum und ViSdP</h2>
1212
Street<br>
1313
City<br>
1414

15-
</p>
15+
</p>

index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,15 +11,15 @@ <h2>Posts</h2>
1111
<li>20240428 - <a href="post/shennanigans_in_c.html">C shennanigans: Pointers, sequence points and bit fields.</a></li>
1212
<li>20240628 - wip practice, uniform execution representations, abstraction problems, implementation options <a href="post/optimal_debugging.html">Towards an optimal debugging framework library.</a></li>
1313
<li>20240628 - wip IPC, security, process groups, abstraction problems - <a href="post/process_behavior.html">Process semantics and abstraction problems on Linux, Windows, MacOS, Posix.</a></li>
14-
<li>20240628 - wip motivation, maintenance, security, remote debugging, untrusted OSes - <a href="post/ci_library.html">Towards an extensible continuos integration library.</a></li>
14+
<li>20240628 - wip motivation, maintenance, security, remote debugging, untrusted OSes - <a href="post/ci_library.html">Towards an extensible continuous integration library.</a></li>
1515
<!-- <li>not started - <a href="post/shennanigans_in_neovim.html">Shennanigans with Shell and Neovim.</a></li> -->
1616
<!-- <li>not started, notes - <a href="post/formal_modeling_overview.html">Why formal modeling matters.</a></li> -->
1717
<!-- <li>not started, ideas unclear how to limit scope - <a href="post/formal_modeling_design.html">Idealized systems and refinement to build correct systems.</a></li> -->
1818
<!-- <li>not started, notes on design problems - <a href="post/formal_modeling_cpus.html">What is generally formalized and potentially verified about CPUs?</a></li> -->
1919
<!-- <li>not started, notes on design problems - <a href="post/formal_modeling_kernels.html">What is generally formalized and potentially verified about kernels?</a></li> -->
2020
<!-- <li>not started, unclear - <a href="post/formal_modeling_userspace.html">Possible design constrains on user space.</a></li> -->
2121
<!-- <li>not started, notes - <a href="post/formal_build_systems.html">Build systems idealized and in practice</a></li> -->
22-
<!-- <li>not started, notes - <a href="post/formal_ci_systems.html">Continuos Integration idealized and in practice.</a></li> -->
22+
<!-- <li>not started, notes - <a href="post/formal_ci_systems.html">Continuous Integration idealized and in practice.</a></li> -->
2323
<!-- <li>not started, notes - <a href="post/formal_debugging.html">Debugging idealized and in practice.</a></li> -->
2424
<!-- <li>not started, ideas - <a href="post/formal_network.html">Network protocols idealized and in practice.</a></li> -->
2525
<!-- <li>not started, notes- <a href="post/optimal_incremental_verification.html">Optimal incremental verification.</a></li> -->
@@ -29,4 +29,4 @@ <h2>Posts</h2>
2929
<div style="text-align:left">Handwritten until there are more entries.
3030
<br><a href="impressum.html">Impressum, Datenschutz</a>
3131
</div>
32-
</html>
32+
</html>

layouts/article.shtml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,4 +21,4 @@
2121
</div>
2222
</div>
2323
</body>
24-
</html>
24+
</html>

layouts/blog_post.shtml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,4 +21,4 @@
2121
</div>
2222
</div>
2323
</body>
24-
</html>
24+
</html>

post/ci_library.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
<!doctype html>
22
<html lang="en"><meta charset=utf-8>
3-
<title>Towards an extensible continuos integration library.</title>
3+
<title>Towards an extensible continuous integration library.</title>
44
<style>
55
#contents {
66
max-width: 60em;
@@ -81,11 +81,11 @@
8181
<div id="contents">
8282
</div>
8383
<div style="text-align:left; padding up down: 1em">
84-
<h2>Towards an extensible continuos integration library.</h2>
84+
<h2>Towards an extensible continuous integration library.</h2>
8585
</div>
8686
This text describes
8787
<ol>
88-
<li>motivation for writing continuos integration as a library
88+
<li>motivation for writing continuous integration as a library
8989
with main advantages being control, isolation and debuggability</li>
9090
<li>maintenance effort</li>
9191
<li>security tradeoffs</li>
@@ -109,4 +109,4 @@ <h2>Towards an extensible continuos integration library.</h2>
109109
<li><a id="debugging">Cross operating system remote debugging.</a></li>
110110
<li><a id="untrusted_oses">Untrusted operating systems.</a></li>
111111
</ol>
112-
</html>
112+
</html>

post/process_behavior.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -108,4 +108,4 @@ <h2>Process semantics and abstraction problems on Linux, MacOS, Posix, Windows.<
108108
<li><a id="security">Posix.</a></li>
109109
<li><a id="process_groups">Process groups.</a></li>
110110
</ol>
111-
</html>
111+
</html>

0 commit comments

Comments
 (0)