From ea890571c4e7a4a923db033373bd669c7b0e359f Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Sat, 6 Apr 2024 18:56:09 +0200 Subject: [PATCH] More nix fuckery... --- LICENSE.md => website/LICENSE.md | 0 academic.Rproj => website/academic.Rproj | 0 {assets => website/assets}/media/albums/.gitkeep | 0 {assets => website/assets}/media/icon.png | Bin {assets => website/assets}/media/icon_old.svg | 0 {assets => website/assets}/media/icons/agda.svg | 0 .../assets}/media/icons/brands/fau.svg | 0 .../assets}/media/icons/brands/leicester.svg | 0 {assets => website/assets}/media/icons/coq.svg | 0 {assets => website/assets}/media/icons/haskell.svg | 0 {config => website/config}/_default/hugo.yaml | 0 {config => website/config}/_default/languages.yaml | 0 {config => website/config}/_default/menus.yaml | 0 {config => website/config}/_default/module.yaml | 0 {config => website/config}/_default/params.yaml | 0 {content => website/content}/_index.md | 0 {content => website/content}/authors/_index.md | 0 .../content}/authors/admin/_index.md | 0 .../content}/authors/admin/avatar.jpg | Bin .../content}/projects/algprog/index.md | 0 {content => website/content}/projects/ba/index.md | 0 .../content}/projects/lambda/index.md | 0 .../content}/projects/nixos/index.md | 0 {content => website/content}/projects/pcf/index.md | 0 .../content}/projects/resolution/index.md | 0 {data => website/data}/fonts/.gitkeep | 0 {data => website/data}/page_sharer.toml | 0 {data => website/data}/themes/.gitkeep | 0 go.mod => website/go.mod | 0 netlify.toml => website/netlify.toml | 0 theme.toml => website/theme.toml | 0 31 files changed, 0 insertions(+), 0 deletions(-) rename LICENSE.md => website/LICENSE.md (100%) rename academic.Rproj => website/academic.Rproj (100%) rename {assets => website/assets}/media/albums/.gitkeep (100%) rename {assets => website/assets}/media/icon.png (100%) rename {assets => website/assets}/media/icon_old.svg (100%) rename {assets => website/assets}/media/icons/agda.svg (100%) rename {assets => website/assets}/media/icons/brands/fau.svg (100%) rename {assets => website/assets}/media/icons/brands/leicester.svg (100%) rename {assets => website/assets}/media/icons/coq.svg (100%) rename {assets => website/assets}/media/icons/haskell.svg (100%) rename {config => website/config}/_default/hugo.yaml (100%) rename {config => website/config}/_default/languages.yaml (100%) rename {config => website/config}/_default/menus.yaml (100%) rename {config => website/config}/_default/module.yaml (100%) rename {config => website/config}/_default/params.yaml (100%) rename {content => website/content}/_index.md (100%) rename {content => website/content}/authors/_index.md (100%) rename {content => website/content}/authors/admin/_index.md (100%) rename {content => website/content}/authors/admin/avatar.jpg (100%) rename {content => website/content}/projects/algprog/index.md (100%) rename {content => website/content}/projects/ba/index.md (100%) rename {content => website/content}/projects/lambda/index.md (100%) rename {content => website/content}/projects/nixos/index.md (100%) rename {content => website/content}/projects/pcf/index.md (100%) rename {content => website/content}/projects/resolution/index.md (100%) rename {data => website/data}/fonts/.gitkeep (100%) rename {data => website/data}/page_sharer.toml (100%) rename {data => website/data}/themes/.gitkeep (100%) rename go.mod => website/go.mod (100%) rename netlify.toml => website/netlify.toml (100%) rename theme.toml => website/theme.toml (100%) diff --git a/LICENSE.md b/website/LICENSE.md similarity index 100% rename from LICENSE.md rename to website/LICENSE.md diff --git a/academic.Rproj b/website/academic.Rproj similarity index 100% rename from academic.Rproj rename to website/academic.Rproj diff --git a/assets/media/albums/.gitkeep b/website/assets/media/albums/.gitkeep similarity index 100% rename from assets/media/albums/.gitkeep rename to website/assets/media/albums/.gitkeep diff --git a/assets/media/icon.png b/website/assets/media/icon.png similarity index 100% rename from assets/media/icon.png rename to website/assets/media/icon.png diff --git a/assets/media/icon_old.svg b/website/assets/media/icon_old.svg similarity index 100% rename from assets/media/icon_old.svg rename to website/assets/media/icon_old.svg diff --git a/assets/media/icons/agda.svg b/website/assets/media/icons/agda.svg similarity index 100% rename from assets/media/icons/agda.svg rename to website/assets/media/icons/agda.svg diff --git a/assets/media/icons/brands/fau.svg b/website/assets/media/icons/brands/fau.svg similarity index 100% rename from assets/media/icons/brands/fau.svg rename to website/assets/media/icons/brands/fau.svg diff --git a/assets/media/icons/brands/leicester.svg b/website/assets/media/icons/brands/leicester.svg similarity index 100% rename from assets/media/icons/brands/leicester.svg rename to website/assets/media/icons/brands/leicester.svg diff --git a/assets/media/icons/coq.svg b/website/assets/media/icons/coq.svg similarity index 100% rename from assets/media/icons/coq.svg rename to website/assets/media/icons/coq.svg diff --git a/assets/media/icons/haskell.svg b/website/assets/media/icons/haskell.svg similarity index 100% rename from assets/media/icons/haskell.svg rename to website/assets/media/icons/haskell.svg diff --git a/config/_default/hugo.yaml b/website/config/_default/hugo.yaml similarity index 100% rename from config/_default/hugo.yaml rename to website/config/_default/hugo.yaml diff --git a/config/_default/languages.yaml b/website/config/_default/languages.yaml similarity index 100% rename from config/_default/languages.yaml rename to website/config/_default/languages.yaml diff --git a/config/_default/menus.yaml b/website/config/_default/menus.yaml similarity index 100% rename from config/_default/menus.yaml rename to website/config/_default/menus.yaml diff --git a/config/_default/module.yaml b/website/config/_default/module.yaml similarity index 100% rename from config/_default/module.yaml rename to website/config/_default/module.yaml diff --git a/config/_default/params.yaml b/website/config/_default/params.yaml similarity index 100% rename from config/_default/params.yaml rename to website/config/_default/params.yaml diff --git a/content/_index.md b/website/content/_index.md similarity index 100% rename from content/_index.md rename to website/content/_index.md diff --git a/content/authors/_index.md b/website/content/authors/_index.md similarity index 100% rename from content/authors/_index.md rename to website/content/authors/_index.md diff --git a/content/authors/admin/_index.md b/website/content/authors/admin/_index.md similarity index 100% rename from content/authors/admin/_index.md rename to website/content/authors/admin/_index.md diff --git a/content/authors/admin/avatar.jpg b/website/content/authors/admin/avatar.jpg similarity index 100% rename from content/authors/admin/avatar.jpg rename to website/content/authors/admin/avatar.jpg diff --git a/content/projects/algprog/index.md b/website/content/projects/algprog/index.md similarity index 100% rename from content/projects/algprog/index.md rename to website/content/projects/algprog/index.md diff --git a/content/projects/ba/index.md b/website/content/projects/ba/index.md similarity index 100% rename from content/projects/ba/index.md rename to website/content/projects/ba/index.md diff --git a/content/projects/lambda/index.md b/website/content/projects/lambda/index.md similarity index 100% rename from content/projects/lambda/index.md rename to website/content/projects/lambda/index.md diff --git a/content/projects/nixos/index.md b/website/content/projects/nixos/index.md similarity index 100% rename from content/projects/nixos/index.md rename to website/content/projects/nixos/index.md diff --git a/content/projects/pcf/index.md b/website/content/projects/pcf/index.md similarity index 100% rename from content/projects/pcf/index.md rename to website/content/projects/pcf/index.md diff --git a/content/projects/resolution/index.md b/website/content/projects/resolution/index.md similarity index 100% rename from content/projects/resolution/index.md rename to website/content/projects/resolution/index.md diff --git a/data/fonts/.gitkeep b/website/data/fonts/.gitkeep similarity index 100% rename from data/fonts/.gitkeep rename to website/data/fonts/.gitkeep diff --git a/data/page_sharer.toml b/website/data/page_sharer.toml similarity index 100% rename from data/page_sharer.toml rename to website/data/page_sharer.toml diff --git a/data/themes/.gitkeep b/website/data/themes/.gitkeep similarity index 100% rename from data/themes/.gitkeep rename to website/data/themes/.gitkeep diff --git a/go.mod b/website/go.mod similarity index 100% rename from go.mod rename to website/go.mod diff --git a/netlify.toml b/website/netlify.toml similarity index 100% rename from netlify.toml rename to website/netlify.toml diff --git a/theme.toml b/website/theme.toml similarity index 100% rename from theme.toml rename to website/theme.toml