-<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8"/>
-<meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Arch GNU/Linux on MacBook Air 2013 — Amin Bandali</title>
-<link rel="icon" href="/gnu.ico"/>
-<link rel="stylesheet" href="/style.css"/>
-</head>
-<body>
-<header>
-<strong><a href="/">Amin Bandali</a>'s Personal Site</strong>
-</header>
-<nav>
-<ul>
-<li><a href="/#papers">Publications</a></li>
-<li><a href="/#projects">Projects</a></li>
-<li><a href="/#notes">Notes</a></li>
-<li><a href="/cv" title="curriculum vitae">CV</a></li>
-<li><a href="/contact">Contact</a></li>
-</ul>
-</nav>
-<main>
-<article>
-<header>
-<h1>Arch GNU/Linux on MacBook Air 2013</h1>
-<p>Published on November 1, 2016<br/>
-Last updated on March 27, 2020</p>
-</header>
-
+<!--# set var="title" value="Arch GNU/Linux on MacBook Air 2013" -->
+<!--# set var="pub" value="November 1, 2016" -->
+<!--# set var="upd" value="March 27, 2020" -->
+<!--# include virtual="/ssi/pren.html" -->
<p>This post summarizes how I install and dual-boot Arch GNU/Linux
with Full-Disk Encryption alongside macOS. It is not meant to be a
replacement for the
<li><a href="//medium.com/phils-thought-bubble-of-recent-stuff/arch-linux-running-on-my-macbook-2ea525ebefe3">Arch Linux running on my MacBook</a></li>
<li><a href="http://codylittlewood.com/arch-linux-on-macbook-pro-installation/">Dual boot Arch Linux on MacBook Pro Installation</a></li>
</ul>
-
-<p class="muted inbox">Got a question or comment? You can find my
-email address on my <a href="contact">contact</a> page.
-<span class="smly">:-)</span></p>
-</article>
-</main>
-<footer>
-<p>Copyright © 2016, 2019, 2020 Amin Bandali. See
-<a href="/license.html">license.html</a> for license conditions.
-Please copy and share.</p>
-</footer>
-</body>
-</html>
+<!--# set var="copy" value="2016, 2019, 2020" -->
+<!--# include virtual="/ssi/postn.html" -->
-<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8"/>
-<meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>How I do my Computing — Amin Bandali</title>
-<link rel="icon" href="/gnu.ico"/>
-<link rel="stylesheet" href="/style.css"/>
-</head>
-<body>
-<header>
-<strong><a href="/">Amin Bandali</a>'s Personal Site</strong>
-</header>
-<nav>
-<ul>
-<li><a href="/#papers">Publications</a></li>
-<li><a href="/#projects">Projects</a></li>
-<li><a href="/#notes">Notes</a></li>
-<li><a href="/cv" title="curriculum vitae">CV</a></li>
-<li><a href="/contact">Contact</a></li>
-</ul>
-</nav>
-<main>
-<article>
-<header>
-<h1>How I do my Computing</h1>
-<p>Published on September 14, 2019<br/>
-Last updated on November 30, 2019</p>
-</header>
-
+<!--# set var="title" value="How I do my Computing" -->
+<!--# set var="pub" value="September 14, 2019" -->
+<!--# set var="upd" value="November 30, 2019" -->
+<!--# include virtual="/ssi/pren.html" -->
<p>(Inspired by computing pages of
<a href="//stallman.org/stallman-computing.html">rms</a> and
<a href="//blog.vimuser.org/leah-computing.html">Leah Rowe</a>)</p>
<a href="//www.fsfla.org/ikiwiki/blogs/lxo/pub/0G">0G</a> to become a
reality fast enough.
<span class="smly">:-)</span></p>
-
-<p class="muted inbox">Got a question or comment? You can find my
-email address on my <a href="contact">contact</a> page.
-<span class="smly">:-)</span></p>
-</article>
-</main>
-<footer>
-<p>Copyright © 2019 Amin Bandali. See
-<a href="/license.html">license.html</a> for license conditions.
-Please copy and share.</p>
-</footer>
-</body>
-</html>
+<!--# set var="copy" value="2019" -->
+<!--# include virtual="/ssi/postn.html" -->
-<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8"/>
-<meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Contact Information — Amin Bandali</title>
-<link rel="icon" href="/gnu.ico"/>
-<link rel="stylesheet" href="/style.css"/>
-</head>
-<body>
-<header>
-<strong><a href="/">Amin Bandali</a>'s Personal Site</strong>
-</header>
-<nav>
-<ul>
-<li><a href="/#papers">Publications</a></li>
-<li><a href="/#projects">Projects</a></li>
-<li><a href="/#notes">Notes</a></li>
-<li><a href="/cv" title="curriculum vitae">CV</a></li>
-<li><a href="/contact">Contact</a></li>
-</ul>
-</nav>
-<main>
+<!--# set var="title" value="Contact Information" -->
+<!--# include virtual="/ssi/pre.html" -->
<article>
<h1>Contact information</h1>
<p>Email is by far my preferred method of communication. I may be
<li><del><a href="//twitter.com/notbandali">notbandali</a> on Twitter</del></li>
</ul>
</article>
-</main>
-<footer>
-<p>Copyright © 2020 Amin Bandali. See the
-<a href="/license">license conditions</a>. Please copy and share.</p>
-</footer>
-</body>
-</html>
+<!--# include virtual="/ssi/post.html" -->
-<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8"/>
-<meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Amin Bandali's Personal Site</title>
-<link rel="icon" href="/gnu.ico"/>
-<link rel="stylesheet" href="/style.css"/>
-</head>
-<body>
-<header>
-<h1>Amin Bandali's Personal Site</h1>
-</header>
-<nav>
-<ul>
-<li><a href="/#papers">Publications</a></li>
-<li><a href="/#projects">Projects</a></li>
-<li><a href="/#notes">Notes</a></li>
-<li><a href="/cv" title="curriculum vitae">CV</a></li>
-<li><a href="/contact">Contact</a></li>
-</ul>
-</nav>
-<main>
+<!--# set var="title" value="home" -->
+<!--# include virtual="/ssi/pre.html" -->
<section id="intro">
<p>Hi, I'm Amin. I am currently a graduate student at the
<a href="//watform.uwaterloo.ca">Waterloo Formal Methods</a>
</tbody>
</table>
</section>
-</main>
-<footer>
-<p>Copyright © 2016–2019 Amin Bandali. See the
-<a href="/license">license conditions</a>. Please copy and share.</p>
-</footer>
-</body>
-</html>
+<!--# set var="copy" value="2016–2019" -->
+<!--# include virtual="/ssi/post.html" -->
-<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8"/>
-<meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Licensing Information — Amin Bandali</title>
-<link rel="icon" href="/gnu.ico"/>
-<link rel="stylesheet" href="/style.css"/>
-</head>
-<body>
-<header>
-<strong><a href="/">Amin Bandali</a>'s Personal Site</strong>
-</header>
-<nav>
-<ul>
-<li><a href="/#papers">Publications</a></li>
-<li><a href="/#projects">Projects</a></li>
-<li><a href="/#notes">Notes</a></li>
-<li><a href="/cv" title="curriculum vitae">CV</a></li>
-<li><a href="/contact">Contact</a></li>
-</ul>
-</nav>
-<main>
+<!--# set var="title" value="Licensing Information" -->
+<!--# include virtual="/ssi/pre.html" -->
<article>
<h1>License information for bandali.eu.org</h1>
<p>I strongly believe in
<li><a href="//www.gnu.org/proprietary/proprietary.html">Proprietary Software Is Often Malware</a></li>
</ul>
</article>
-</main>
-<footer>
-<p>Copyright © 2019 Amin Bandali. See the above for license
-conditions. Please copy and share.</p>
-</footer>
-</body>
-</html>
+<!--# set var="copy" value="2019" -->
+<!--# include virtual="/ssi/post.html" -->
--- /dev/null
+<footer>
+<p>Copyright © <!--# echo var="copy" encoding="none" --> Amin Bandali.
+See the <!--# if expr="$title = Licensing Information" -->above for license conditions<!--# else --><a href="/license">license conditions</a><!--# endif -->.
+Please copy and share.</p>
+</footer>
--- /dev/null
+</main>
+<!--# if expr="$copy" --><!--# include virtual="license.html" --><!--# endif -->
+</body>
+</html>
--- /dev/null
+<p class="muted inbox">Got a question or comment? You can find my
+email address on my <a href="contact">contact</a> page.
+<span class="smly">:-)</span></p>
+</article>
+<!--# include virtual="/ssi/post.html" -->
--- /dev/null
+<!doctype html>
+<html lang="en">
+<head>
+<meta charset="utf-8"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<!--# if expr="$title = home" -->
+<title>Amin Bandali's Personal Site</title>
+<!--# else -->
+<title><!--# echo var="title" --> — Amin Bandali</title>
+<!--# endif -->
+<link rel="icon" href="/gnu.ico"/>
+<link rel="stylesheet" href="/style.css"/>
+</head>
+<body>
+<header><!--# if expr="$title = home" -->
+<h1>Amin Bandali's Personal Site</h1>
+<!--# else -->
+<strong><a href="/">Amin Bandali</a>'s Personal Site</strong>
+<!--# endif --></header>
+<nav>
+<ul>
+<li><a href="/#papers">Publications</a></li>
+<li><a href="/#projects">Projects</a></li>
+<li><a href="/#notes">Notes</a></li>
+<li><a href="/cv" title="curriculum vitae">CV</a></li>
+<li><a href="/contact">Contact</a></li>
+</ul>
+</nav>
+<main>
--- /dev/null
+<!--# include virtual="/ssi/pre.html" -->
+<article>
+<header>
+<h1><!--# echo var="title" --></h1>
+<p>Published on <!--# echo var="pub" --><!--# if expr="$upd" --><br/>
+Last updated on <!--# echo var="upd" --><!--# endif --></p>
+</header>
projects / ~bandali / bndl.org / commitdiff