diff options
| -rw-r--r-- | users/aspen/web/index.org | 2 | ||||
| -rw-r--r-- | users/aspen/web/orgExportHTML.nix | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/users/aspen/web/index.org b/users/aspen/web/index.org index 116d62d8c19c..109f3a77a08c 100644 --- a/users/aspen/web/index.org +++ b/users/aspen/web/index.org @@ -13,7 +13,7 @@ my name is aspen smith and i'm a software engineer and musician. i'm currently a software engineer at jane street. -before that, i worked on database internals at [[https://readyset.io/][readyset]], an incrementally +previously, i worked on database internals at [[https://readyset.io/][readyset]], an incrementally maintained, partially stateful materialized view maintenance system for sql that's wire-compatible with postgresql and mysql, based on [[https://github.com/mit-pdos/noria][noria]]. diff --git a/users/aspen/web/orgExportHTML.nix b/users/aspen/web/orgExportHTML.nix index aac4e32e7ac5..3a8e35f22d17 100644 --- a/users/aspen/web/orgExportHTML.nix +++ b/users/aspen/web/orgExportHTML.nix @@ -51,7 +51,7 @@ runCommand outName { inherit src; } '' --kill rm file.org substitute file.html "$2" \ - --replace '<title>‎</title>' "" + --replace-quiet '<title>‎</title>' "" rm file.html } |