about summary refs log tree commit diff
Commit message (Collapse)AuthorAgeFilesLines
* ci(default): add `apps.ci.shellcheck` to flake.nixFranck Cuny2022-06-102-2/+11
| | | | | | | | | | | | I can now run `nix run .#ci.shellcheck` to validate the shell scripts with shellcheck in the repository. The pipeline in buildKite will need to be updated. Change-Id: Ia52ede86adfa58c9615b0f9e290ef5d5b8adb303 Reviewed-on: https://cl.fcuny.net/c/world/+/409 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(scripts): no need to create tags when deploying to fly.ioFranck Cuny2022-06-103-23/+5
| | | | | | | | | | | | | I don't need tags in this repository. There's no need to create them after a deploy. Before stopping the fly.io agent, checks that we're in the CI environment. Change-Id: I6208b70023c6ae74d58e535e24b44221956dbe63 Reviewed-on: https://cl.fcuny.net/c/world/+/408 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* ci(shellcheck): add a script to check shell scriptsFranck Cuny2022-06-101-0/+24
| | | | | | | | | | | | The script uses shellcheck to validates that the shell scripts are correct. This is not used by anything yet. Change-Id: Ia96b132143fa0824eaf23420a72e5b518d618250 Reviewed-on: https://cl.fcuny.net/c/world/+/407 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(flake): install nixpkgs-fmt by defaultFranck Cuny2022-06-101-0/+1
| | | | | | | Change-Id: Ifc199c19e80f0c4f6beb5d04d981580c8edaadf6 Reviewed-on: https://cl.fcuny.net/c/world/+/405 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* ci(fmt): add a script to check the formattingFranck Cuny2022-06-102-2/+34
| | | | | | | | | | | | | | | | Add a script for CI to check that all the files are formatted correctly. This is done by using `treefmt' with a configuration for go and nix files (for now). Running `nix run .#ci.fmt' in the repository will check all the files, and fail if there's any problems. It will not modify any files. The pipeline in builKite needs to be updated to run that command. Change-Id: Iec91163f1ab56ceb0cfff6db8f8ce93367ebeefe Reviewed-on: https://cl.fcuny.net/c/world/+/403 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(fmt): correct formatting for all nix filesFranck Cuny2022-06-1089-156/+256
| | | | | | | | | This was done by running `nixpkgs-fmt .'. Change-Id: I4ea6c1e759bf468d08074be2111cbc7af72df295 Reviewed-on: https://cl.fcuny.net/c/world/+/404 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* docs(gerrit): document various thingsFranck Cuny2022-06-101-0/+59
| | | | | | | Change-Id: I79075be119258eb8ee28bf99f404480a646d2583 Reviewed-on: https://cl.fcuny.net/c/world/+/402 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(bluetooth): write proper configuration for wireplumberFranck Cuny2022-06-101-1/+1
| | | | | | | | | | | | | | | The missing comma resulted in the following error: ``` Jun 10 08:57:09 aptos wireplumber[2303]: Failed to compile: [string "50-bluez-config.lua"]:4: '}' expected (to close '{' at line 1) near '[' ``` As a result, the service would not start, which prevented the sound to work (and overall videos were extremely slow). Change-Id: If6ff7a29a9cf294f9e8d3f6a44abf2423ecfb6e9 Reviewed-on: https://cl.fcuny.net/c/world/+/401 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(backups): exclude more files from the backupsFranck Cuny2022-06-102-1/+11
| | | | | | | | | We don't need to backup log files for grafana and sourcegraph. Change-Id: I8ed6f6ce1270a12233cad268bcd12e28ac2785cf Reviewed-on: https://cl.fcuny.net/c/world/+/383 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(unifi): configure correctly services.unifi for nixos 22.05Franck Cuny2022-06-101-1/+1
| | | | | | | Change-Id: Ide8e479bc88689e052a372825bc90b23b426a89a Reviewed-on: https://cl.fcuny.net/c/world/+/382 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(nginx): configure correctly security.acme for nixos 22.05Franck Cuny2022-06-101-1/+1
| | | | | | | Change-Id: I94cb29510cbb85c769947dc26c33f9d767e2f0c8 Reviewed-on: https://cl.fcuny.net/c/world/+/381 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(cgit): adjust configurationFranck Cuny2022-06-091-0/+9
| | | | | | | | | | | - list up to 150 repositories per page - limit stats to a year - snapshots are in tar.gz format Change-Id: Ifc52d47893737862d89d24b797ec28f32e5076e9 Reviewed-on: https://cl.fcuny.net/c/world/+/366 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(nix): update nix to version 22.05Franck Cuny2022-06-096-39/+36
| | | | | | | | | | | | | NixOS 22.05 was released last month. Bump the versions for both nixos and home-manager. I also need to make a few changes for this update work (packages were renamed, options were addded to tailscale, ...) Change-Id: I84ed9f21915b769c9f7b8e21988b2b021715c982 Reviewed-on: https://cl.fcuny.net/c/world/+/365 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(blog): set the correct URL to my git serverFranck Cuny2022-06-091-1/+1
| | | | | | | Change-Id: I0911c07d5ab0e17a09e587ba4507d0202f6c7ff3 Reviewed-on: https://cl.fcuny.net/c/world/+/364 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(navidrome): don't backup the cache directoryFranck Cuny2022-06-091-1/+4
| | | | | | | Change-Id: I45a42543d7fb5071022a77382e925b55568e2c2d Reviewed-on: https://cl.fcuny.net/c/world/+/363 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(restic): actually exclude files from the backupFranck Cuny2022-06-091-2/+8
| | | | | | | | | | | The option `exclude' was defined but unused. Add a function to generate a text file containing all the paths that we want to exclude, and provide that file as an option when we call `restic'. Change-Id: I647db892a8a77c589cec1fc975808c5c9ad0b757 Reviewed-on: https://cl.fcuny.net/c/world/+/362 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(gerrit): don't backup tmp,logs,cache directoriesFranck Cuny2022-06-091-1/+8
| | | | | | | Change-Id: I73087942ed86fd2ad3575a4776dba97fac693468 Reviewed-on: https://cl.fcuny.net/c/world/+/361 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(GTK): delete commented codeFranck Cuny2022-06-091-6/+0
| | | | | | Change-Id: Ia942b32b9eef3d5205a7845ef4945d42af8a0862 Reviewed-on: https://cl.fcuny.net/c/world/+/321 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(secrets): buildKite agents can read gerrit secretsFranck Cuny2022-06-091-0/+4
| | | | | | | | | We need to ensure the agents can read the secrets / tokens to vote after a build. Change-Id: I066c2482a795b21badaa9cc3c525373d7945b084 Reviewed-on: https://cl.fcuny.net/c/world/+/341 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit-hook): propagate gerrit information in the environmentFranck Cuny2022-06-091-3/+17
| | | | | | | | | The buildKite agents need this information in order to vote after a build. Change-Id: If03ba51d55f4d1155c6b7fdadace3b4643480258 Reviewed-on: https://cl.fcuny.net/c/world/+/342 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(buildkite): configure the post-command hookFranck Cuny2022-06-091-0/+12
| | | | | | Change-Id: I7b00987382ef05e032d88cf00e916cdc27511eb1 Reviewed-on: https://cl.fcuny.net/c/world/+/306 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit): update CL when buildKite build is finishedFranck Cuny2022-06-092-0/+46
| | | | | | | | | | | | | | | buildKite can call specific hooks at various stages ([1]). We add a hook to run after each command. For now we only care if the label of the command is `:hammer:', since this is what we've defined for our pipeline. After a successful build, the agent will post a review with +1 if it's a success, or -1 if the build results in failure. [1] https://buildkite.com/docs/agent/v3/hooks#job-lifecycle-hooks Change-Id: I6b2b886c13e6f23ddbc96fd3e865f0d50d625446 Reviewed-on: https://cl.fcuny.net/c/world/+/305 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gtk): add bookmarksFranck Cuny2022-06-091-0/+2
| | | | | | Change-Id: Icb3bd8cf01850aa9d35fd574cc18543df5b71fca Reviewed-on: https://cl.fcuny.net/c/world/+/304 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(zsh): ensure home-manager variables are set before starting swayFranck Cuny2022-06-092-6/+10
| | | | | | Change-Id: I820a636bcdeb6abf7ff8a25ec409c08916e94c42 Reviewed-on: https://cl.fcuny.net/c/world/+/303 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(git): remove git.fcuny.net from configurationFranck Cuny2022-06-091-1/+0
| | | | | | | | | I don't have credentials for that URL anymore, everything goes through cl.fcuny.net. Change-Id: I2361444c2ea42679ab4f28758f708e53eb9c8c06 Reviewed-on: https://cl.fcuny.net/c/world/+/302 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(pass-git-helper): remove mapping for git.fcuny.netFranck Cuny2022-06-091-4/+1
| | | | | | Change-Id: I5211647802a08e9984dffb6247249ec608688d8c Reviewed-on: https://cl.fcuny.net/c/world/+/301 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit): add plugin 'reviewnotes'Franck Cuny2022-06-091-1/+9
| | | | | | | | | This plugin stores review information for Gerrit changes in the `refs/notes/review' branch. Change-Id: I51c7fe1f8764617e0bff5455d3fe713b0e2f446e Reviewed-on: https://cl.fcuny.net/c/world/+/300 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(nix): move the mkSystem function to its own fileFranck Cuny2022-06-093-47/+31
| | | | | | | | Make the default system be x86-linux. Change-Id: I13e00e4d4cb8b7c49cc549509e37a6d0f022a051 Reviewed-on: https://cl.fcuny.net/c/world/+/299 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(nix): rename lib/ to nix/Franck Cuny2022-06-093-1/+1
| | | | | | Change-Id: If1e608b89b39bd5a53a37b873833a7ea881cb418 Reviewed-on: https://cl.fcuny.net/c/world/+/298 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(profiles): get rid of all the profilesFranck Cuny2022-06-0910-50/+30
| | | | | | | | | | | | | | All the modules that are setup by the profiles are now managed at the host level. This simplify some configuration, and will make it easier to adjust things at the host instead of trying to squeeze everything into profiles. This will also help the refactoring later, when I'll split nixos and home-manager configuration. Change-Id: I17ffda8b0b5d15bf1915c6fae5030380523d74b5 Reviewed-on: https://cl.fcuny.net/c/world/+/297 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(GTK): remove the profile for GTKFranck Cuny2022-06-097-18/+10
| | | | | | | | All the configuration is done at the host level. Change-Id: Ib5ef71ea7955f6872fb08f576e48b24a70600693 Reviewed-on: https://cl.fcuny.net/c/world/+/296 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(home): structure and add commentsFranck Cuny2022-06-093-36/+75
| | | | | | Change-Id: I9abd49136df79a9ed040c9ec0e12eea30736c9ff Reviewed-on: https://cl.fcuny.net/c/world/+/295 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(desktop): move all the modules for home-manager to host levelFranck Cuny2022-06-093-11/+18
| | | | | | Change-Id: I92abe7d6c9a1f7c5ef3f157137c59cde751d50f0 Reviewed-on: https://cl.fcuny.net/c/world/+/294 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(trusted): consume modules within host's configurationFranck Cuny2022-06-096-27/+24
| | | | | | | | | Remove the trusted profiles, the modules are installed directly within the host configuration. Change-Id: I0566fb359803da16bdd3a38e2901deac477fb078 Reviewed-on: https://cl.fcuny.net/c/world/+/293 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(multimedia): move multimedia modules to hostsFranck Cuny2022-06-095-17/+10
| | | | | | | | | Consume the modules related to multimedia applications at the host level, instead of having a level of indirection with a profile. Change-Id: I567f0e01cbfe591beaa2e9086e33434402a4a002 Reviewed-on: https://cl.fcuny.net/c/world/+/292 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(sane): move sane's configuration to correct placeFranck Cuny2022-06-092-3/+3
| | | | | | Change-Id: Ibb55ee455423c101fb6d3e62a2e9e4593682cf16 Reviewed-on: https://cl.fcuny.net/c/world/+/291 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(laptop): move services related to laptop to host's configurationFranck Cuny2022-06-094-18/+7
| | | | | | | | | | As for the bluetooth configuration, we don't need that level of indirection. The laptop can consume these services directly, and we can drop the profile for laptop. Change-Id: Ia434d336ae581bd040fbc4963e5856806183d55e Reviewed-on: https://cl.fcuny.net/c/world/+/290 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(bluetooth): remove the profileFranck Cuny2022-06-094-14/+3
| | | | | | | | | | | I don't need a profile for this, the module can be consumed directly from the host's hardware configuration. It removes one level of indirection and helps us toward the goal of completely removing all the profiles. Change-Id: I95a6fdc985420e7fe0ad737e7576d10d5c7eb114 Reviewed-on: https://cl.fcuny.net/c/world/+/289 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(gerrit-hook): update the configuration with correct URLFranck Cuny2022-06-041-10/+12
| | | | | | Change-Id: Iae8860631a9d313d5b4f78d171d0dfebc6ef6ff9 Reviewed-on: https://cl.fcuny.net/c/world/+/283 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(secrets): pass group and mode to agenixFranck Cuny2022-06-041-2/+8
| | | | | | | | | | | | | | | | | It took me a while to understand why the group and mode were not set correctly for the buildkite agent secrets. This module is an abstraction on top of agenix to modify the filename and ensure that the owner of the file is actually defined in the configuration. This was not passing the group and mode to agenix, which is why these values were never set. This change modify the library to check that the group exists (as we do for the user), and pass the mode down. Change-Id: I7f8545868986110ad92fa63ef8efe4cd3bbd9b0f Reviewed-on: https://cl.fcuny.net/c/world/+/282 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(secrets): set the owner for buildkite agent secretsFranck Cuny2022-06-041-0/+1
| | | | | | | | | There's one user per agent. If we don't set an owner for that file, it will be owned by root. Let's set the ownership to the first builder. Change-Id: I1270e6858c0bf2797bd12c2557d84a494cef5081 Reviewed-on: https://cl.fcuny.net/c/world/+/281 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(drone): remove secret and CLI for droneFranck Cuny2022-06-042-6/+0
| | | | | | | | | I'm not using drone anymore. I don't need the CLI and the secret to be installed. Change-Id: I9c8ecfe5f051fd70d78f0e2e9aaa705e48627714 Reviewed-on: https://cl.fcuny.net/c/world/+/261 Reviewed-by: Franck Cuny <franck@fcuny.net>
* doc(gerrit-hook): add initial documentationFranck Cuny2022-06-041-0/+12
| | | | | | Change-Id: Id9da12e3a42d42d67cb9962b1ad0b7d27e860663 Reviewed-on: https://cl.fcuny.net/c/world/+/201 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit): install the gerrit hookFranck Cuny2022-06-041-0/+12
| | | | | | | | | Create a few scripts that are used to trigger the hook when a patchset is created. Change-Id: Ibcfdb76b3e0ca29b9adc4c2719a8f81170818788 Reviewed-on: https://cl.fcuny.net/c/world/+/172 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit): add secret for gerrit-hookFranck Cuny2022-06-042-0/+16
| | | | | | | | | | | The secret is the configuration for the gerrit-hook tool. It contains the URL to our gerrit instance, the username/password for the gerrit user used by the tool, the API token for buildKite and the name of the organization in buildKite. Change-Id: I58233e085c92d4c5db5635eb9942a5e87ee9e55d Reviewed-on: https://cl.fcuny.net/c/world/+/204 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit-hook): add gerrit-hook to the overlaysFranck Cuny2022-06-041-0/+5
| | | | | | | | So that we can build and install it. Change-Id: I1f732ceb7be2e9cca625819562f5baed5e131f85 Reviewed-on: https://cl.fcuny.net/c/world/+/181 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit-hook): a small tool to act as a dispatcher for gerritFranck Cuny2022-06-046-0/+309
| | | | | | | | | | | | | | | | When a patchset is created, gerrit will call this tool with a number of arguments. This hook triggers a build with buildKite for the given patchset, and add a comment to gerrit with a link to the build. We do not wait for the build to be successful to update gerrit. This will be done by another hook which the buildKite agents will call once they are done with the build. Change-Id: Iaa221765f3c52875ec37c5d282ba0557291eb5a4 Reviewed-on: https://cl.fcuny.net/c/world/+/171 Reviewed-by: Franck Cuny <franck@fcuny.net>
* meta: remove pre-commit checksFranck Cuny2022-05-302-59/+0
| | | | | | | | This is not working as I want. Change-Id: I5c2a96c77585b84fb68bcd661773a3056a0288f4 Reviewed-on: https://cl.fcuny.net/c/world/+/170 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(hosts/tahoe): enable buildkite agentFranck Cuny2022-05-301-0/+1
| | | | | | Change-Id: I12cc741bdfb074f7d2a006547860362176afe372 Reviewed-on: https://cl.fcuny.net/c/world/+/169 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(buildkite): configure the buildkite agentFranck Cuny2022-05-302-0/+47
| | | | | | Change-Id: Icee60f2372e17f6477a91e7f562c04507788c713 Reviewed-on: https://cl.fcuny.net/c/world/+/168 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(buildkite): add the auth tokenFranck Cuny2022-05-302-0/+7
| | | | | | Change-Id: I652a3326caf8f949e9734849d1492f7b9764a766 Reviewed-on: https://cl.fcuny.net/c/world/+/167 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(home/zsh): don't start tmux when in an ssh sessionFranck Cuny2022-05-291-2/+8
| | | | | | Change-Id: I4a30d787bddbe16026fd8d24378f532696256002 Reviewed-on: https://cl.fcuny.net/c/world/+/166 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(home/git): add an empty line in the templateFranck Cuny2022-05-291-0/+1
| | | | | | Change-Id: Icdbc6af9a75834f0e6b11fa2f15d952deb6191dd Reviewed-on: https://cl.fcuny.net/c/world/+/165 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(home/git): add alias to review with gerritFranck Cuny2022-05-291-0/+1
| | | | | | Change-Id: Ie3244add8420632017132c20c804fd6ecab3a4e0 Reviewed-on: https://cl.fcuny.net/c/world/+/164 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(home/zsh): add helper function for gerritFranck Cuny2022-05-292-1/+6
| | | | | | | | Add a function `rgerrit' to run gerrit commands on the server. Change-Id: I2beb77e7817e2be03ffbd008cf3545091a9d4c41 Reviewed-on: https://cl.fcuny.net/c/world/+/163 Reviewed-by: Franck Cuny <franck@fcuny.net>
* ref(tahoe): remove droneFranck Cuny2022-05-291-9/+1
| | | | | | | | | I will not be using drone anymore, and will likely replace it with buildkite. Change-Id: I45d91c43090aaba119855158e071dae377c1897f Reviewed-on: https://cl.fcuny.net/c/world/+/162 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(fcuny/monkey): remove unneeded filesFranck Cuny2022-05-292-21/+0
| | | | Change-Id: If26166f29f9b519b87e288b514d2c603ca9b4413
* Merge remote-tracking branch 'monkey/master'Franck Cuny2022-05-2910-0/+421
|\ | | | | | | Change-Id: I790690b0877ae309d1d5feb5150f136085e78206
| * readme: convert to org-modeFranck Cuny2021-05-102-1/+3
| |
| * lint: fix a few issuesFranck Cuny2021-05-103-1/+4
| |
| * git: ignore binary for the REPLFranck Cuny2021-05-101-0/+1
| |
| * repl: support a simple REPL for some early testingfranck cuny2020-01-112-0/+41
| | | | | | | | | | | | The REPL reads the input, send it to the lexer, and prints the token to STDOUT. For now nothing else is done since we still don't parse the tokens.
| * lexer: support tokens for equal and not equal.franck cuny2020-01-112-2/+39
| | | | | | | | | | | | | | | | | | The tokens for equal (`==`) and not equal (`!=`) are composed of two characters. We introduce a new helper (`peekChar`) that we use when we encounter the token `=` or `!` to see if this is a token composed of two characters. Add some tests to ensure they are parsed correctly.
| * token: add tokens for equal and not equal.franck cuny2020-01-111-0/+3
| |
| * lexer: test the new keywords are parsed correctly.franck cuny2020-01-111-3/+25
| | | | | | | | | | Ensure that the new keywords added (`if`, `else`, `true`, `false`, `return`) are parsed correctly.
| * token: support more keywordsfranck cuny2020-01-111-2/+13
| | | | | | | | | | | | | | Add support for a few more keywords (`true`, `false`, `if`, `else`, `return`). All keywords are grouped together in the constant declaration.
| * token: rewrite documentation for `LookupIdent`.franck cuny2020-01-111-3/+4
| |
| * lexer: delete redundant test.franck cuny2020-01-111-32/+1
| | | | | | | | | | | | | | The test `TestNextTokenBasic` was not testing anything that `TestNextTokenMonkey` was not already testing. Rename `TestNextTokenMonkey` to `TestNextToken` for clarity.
| * Makefile: add a Makefilefranck cuny2020-01-111-0/+4
| | | | | | | | For now, automate running the tests.
| * lexer: support more operator tokens.franck cuny2020-01-112-1/+31
| | | | | | | | | | Support the operator tokens that were added to our tokenizer. This also add a few more tests to ensure we handle them correctly.
| * token: support more operator tokensfranck cuny2020-01-111-3/+10
| | | | | | | | | | | | Support additional tokens for operators (`-`, `*`, etc). This change only adds the tokens to the list of constants, and group all the tokens related to operators together.
| * lexer: initial lexerfranck cuny2020-01-112-0/+218
| | | | | | | | | | | | | | | | | | The initial lexer for the monkey language. We only support a small subset at this stage. We have some simple tests to ensure that we can parse some small snippet, and that the minimum number of tokens we need are also all supported correctly.
| * token: initial tokenizer.franck cuny2020-01-111-0/+48
| | | | | | | | | | | | | | | | | | | | | | This is the initial tokenizer for the monkey language. For now we recognize a limited number of tokens. We only have two keywords at this stage: `fn` and `let`. `fn` is used to create function, while `let` is used for assigning variables. The other tokens are mostly to parse the source code, and recognize things like brackets, parentheses, etc.
| * go.mod: create the module 'monkey'franck cuny2020-01-111-0/+3
| | | | | | | | | | | | The project is named monkey, we add a mod file to ensure that the tooling / dependencies are set up correctly when we import various modules in this project.
| * Add README.md, LICENSE.txtfranck cuny2019-12-292-0/+21
| |
| * Initial commitfranck cuny2019-12-290-0/+0
| | | | This commit is empty on purpose.
* tools(govanity): add the tool to flake.nixFranck Cuny2022-05-292-1/+28
| | | | Change-Id: Ib2792fa8c3f861d290f2495a10672cdfd11c48d9
* tools(govanity): remove unneeded filesFranck Cuny2022-05-295-147/+0
| | | | | | These files are not needed in the monorepo. Change-Id: I742316d7a6fae817bedbcd2e1f91963bc24c91b7
* Merge remote-tracking branch 'govanity/main'Franck Cuny2022-05-2915-0/+404
|\ | | | | | | Change-Id: I4fd7c748648415db1fa9baaa048ba51e186ec268
| * remove unused MakefileFranck Cuny2022-05-131-27/+0
| |
| * drone: add a configurationFranck Cuny2022-05-111-0/+18
| |
| * scripts: add a script to deployFranck Cuny2022-05-113-6/+25
| | | | | | | | | | Remove the target from the Makefile, add a target to the flake configuration.
| * Dockerfile: update stepsFranck Cuny2022-05-111-2/+2
| |
| * README: update documentationFranck Cuny2022-05-111-0/+4
| |
| * add a flake.nix to the repositoryFranck Cuny2022-05-114-0/+119
| |
| * config: add mpd-statsFranck Cuny2021-10-101-0/+2
| |
| * build: tag correctly the releaseFranck Cuny2021-09-091-4/+8
| | | | | | | | | | | | | | | | | | The version was evaluated before the deploy was done, we need to get that information after running `flyctl deploy`. Annotate the tag since we're doing a release. Remove the argument `IMAGE_REF` since it's being ignored.
| * build: create user before setting workdirFranck Cuny2021-08-141-2/+2
| |
| * build: build the image before deployingFranck Cuny2021-08-141-1/+1
| |
| * build: trim the size of the Docker containerFranck Cuny2021-08-141-3/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Prior to this change, the size of the image was about 300MB: ``` ; docker images|grep fcuny/golang|grep days fcuny/golang.fcuny.net d07add42f21a69e2c057eae8492bbd599dc50082 9fd284c5d8ee 2 days ago 313MB fcuny/golang.fcuny.net ca3dd083f8d6642821781ce03829713524322bbe 8104afadfd1f 2 days ago 313MB ``` With this change, we're reducing the image to less than 10MB: ``` fcuny/golang.fcuny.net 19b3dccc1ff31534df3636d4d7d6a28c0ae1e189 c9ae35574f8e 24 seconds ago 9.09MB ``` Since there's storage and bandwidth involved in this process, there's no point in not going for a smaller image.
| * config: add vanityFranck Cuny2021-08-121-0/+2
| |
| * build: deploy to flyFranck Cuny2021-08-126-17/+83
| | | | | | | | | | | | | | Don't deploy to Google App anymore, but use fly.io instead. Add steps to the Makefile to build a docker image, and to deploy the application to fly.io.
| * config: replace homelab with toolsFranck Cuny2021-08-121-2/+2
| | | | | | | | The repository for `homelab` is not ready yet.
| * vanity: rewrite with templates and external configFranck Cuny2021-08-126-22/+144
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Rewrite the program to use external templates and load the configuration from an external source. We don't want to blindly send all the requests to some SCM since we want to support only some modules / program that way. There's two templates, one for requests coming from a browser, which list all the supported modules, and one for the `go get` command. For requests coming from `go get`, we generate a template that indicates where the repository is. The external configuration is in YAML, and list all the supported repositories, and the URL of the repository. It assumes a default VCS for all the modules (git in our case).
| * build: convert to go moduleFranck Cuny2021-08-121-0/+3
| |
| * Add a new target to the Makefile.Franck Cuny2018-04-081-0/+3
| | | | | | | | Add a target to open the console.
| * Redirect go code to github.comFranck Cuny2018-03-304-0/+52
| |
| * Initial commitFranck Cuny2018-03-300-0/+0
|
* fix(cgit): write the test correctlyFranck Cuny2022-05-291-1/+1
| | | | | | Change-Id: I1c57da26d315c847fc5cef134e75a34395764ac9 Reviewed-on: https://cl.fcuny.net/c/world/+/161 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(gerrit): remove git suffix from project URLFranck Cuny2022-05-291-1/+1
| | | | | | | | This has been dropped in cgit. Change-Id: I255ea20b4f81d080207ac8eac6f6727cac2d54f5 Reviewed-on: https://cl.fcuny.net/c/world/+/126 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(cgit): update cgit configurationFranck Cuny2022-05-291-0/+9
| | | | | | | | | | - enable git configuration to read the section out of it - don't display the owner (it's git by default) - sort branches and repositories by age Change-Id: I3f21ec6eb25747d21c23a68b6f24f7cb8345fb02 Reviewed-on: https://cl.fcuny.net/c/world/+/125 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(cgit): exclude some repositoriesFranck Cuny2022-05-291-1/+8
| | | | | | | | | There are a few repositories that I want to have active in gerrit but I don't want to list in cgit. Change-Id: I341801cddba0909d5c32d2653c8cc5eb8aae94ed Reviewed-on: https://cl.fcuny.net/c/world/+/124 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(cgit): ensure permissions are set correctlyFranck Cuny2022-05-281-0/+2
| | | | | | Change-Id: I65efa49a904ab1885bd72566e450b6678be6aa21 Reviewed-on: https://cl.fcuny.net/c/world/+/123 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(cgit): define the list of repos prior to scan pathFranck Cuny2022-05-281-2/+2
| | | | | | | | | | | | From the documentation for `project-list`: A list of subdirectories inside of scan-path, relative to it, that should loaded as git repositories. This must be defined prior to scan-path Change-Id: Iab176a800e8ff0abd515a525d89ef524ba6ab097 Reviewed-on: https://cl.fcuny.net/c/world/+/122 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(cgit): generate a proper list of repositoriesFranck Cuny2022-05-281-1/+3
| | | | | | | | | | | The logic was previously incorrect. If a repository becomes hidden in gerrit, it will not be removed from the list. Instead, we create a temporary file which we use to dump the new list and then move it over the current list. Change-Id: I990588ac98ad4024ba144c4c76ad7e4ae27202bc Reviewed-on: https://cl.fcuny.net/c/world/+/121 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit): link to cgitFranck Cuny2022-05-281-0/+14
| | | | | | | | Configure gitweb to link to our cgit instance Change-Id: I55cb96e7199bf2636a30689b277978008d6605eb Reviewed-on: https://cl.fcuny.net/c/world/+/88 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(cgit): generate the list of projects from gerritFranck Cuny2022-05-281-4/+35
| | | | | | | | | | Query the gerrit API to get the list of active projects, and generate the list of repositories from it. This run every 10 minutes as a systemd timer. Change-Id: I016a6d748597ff4d03af893e0a95b96830bdb3f7 Reviewed-on: https://cl.fcuny.net/c/world/+/87 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(cgit): set the clone URL to gerritFranck Cuny2022-05-281-0/+1
| | | | | | Change-Id: I2328abdbd369358e59747a220fe1e57edd8c5126 Reviewed-on: https://cl.fcuny.net/c/world/+/86 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(cgit): support org mode files for READMEFranck Cuny2022-05-281-0/+2
| | | | | | Change-Id: Ia0b3c7e5c2b1f399f7eaf5db2e926dc3a0859790 Reviewed-on: https://cl.fcuny.net/c/world/+/85 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit): backup all relevant directoriesFranck Cuny2022-05-281-0/+2
| | | | | | Change-Id: I7d70a25f95cddedaba5e5186b6e7f83ddf9e7eb9 Reviewed-on: https://cl.fcuny.net/c/world/+/84 Reviewed-by: Franck Cuny <franck@fcuny.net>
* docs: start documenting gerritFranck Cuny2022-05-281-0/+18
| | | | | | Change-Id: I8d00bfd71248e1403e8966d74e93941d90462b47 Reviewed-on: https://cl.fcuny.net/c/world/+/83 Reviewed-by: Franck Cuny <franck@fcuny.net>
* feat(gerrit): enable sending emailsFranck Cuny2022-05-271-1/+10
| | | | | | | | Configure gerrit to send emails using fastmail's SMTP servers. Change-Id: I658373a2c1e9b3c5dcbe214a02ebe8ca1be69580 Reviewed-on: https://cl.fcuny.net/c/world/+/81 Reviewed-by: Franck Cuny <franck@fcuny.net>
* fix(gerrit): set the OAUTH client IDFranck Cuny2022-05-271-0/+5
| | | | | | Change-Id: I2a5b554be29af9184ad504bcb8beca30c605e6c4 Reviewed-on: https://cl.fcuny.net/c/world/+/63 Reviewed-by: Franck Cuny <franck.cuny@gmail.com>
* feat(hosts/tahoe): replace gitea by cgitFranck Cuny2022-05-271-2/+1
| | | | | | Change-Id: I3b00408d7550d7660fb33940ae2cd0806076f4d2 Reviewed-on: https://cl.fcuny.net/c/world/+/62 Reviewed-by: Franck Cuny <franck.cuny@gmail.com>
* fix(gerrit): set the home directory for gitFranck Cuny2022-05-271-1/+1
| | | | | | Change-Id: Idba41215b58e8cd77d8d4efa354a3acf52c6bc6d Reviewed-on: https://cl.fcuny.net/c/world/+/61 Reviewed-by: Franck Cuny <franck.cuny@gmail.com>
* feat(cgit): add a module for cgitFranck Cuny2022-05-272-0/+52
| | | | | | | | | cgit is a git web viewer, it will be hosted at git.fcuny.net to replace gitea. Change-Id: I16561776fa90a3561d6a13f8545bd2e8f67f409a Reviewed-on: https://cl.fcuny.net/c/world/+/46 Reviewed-by: Franck Cuny <franck.cuny@gmail.com>
* ref(gerrit): ensure the git user is presentFranck Cuny2022-05-261-0/+9
| | | | Change-Id: Ie217a14a20474b626a2c66116663b785193978c2
* feat(home/git): add credential configuration for cl.fcuny.netFranck Cuny2022-05-262-0/+4
| | | | Change-Id: I94e28dc52d69c3c2ee4d59a0109c9ae32402fb2c
* fix(gerrit): use a compatible JDKFranck Cuny2022-05-261-0/+3
| | | | Change-Id: I3fadf8a3a9a81c7966b4c048ace1ae259f0e3668
* fix(gerrit): install the plugin for oauthFranck Cuny2022-05-261-2/+8
| | | | Change-Id: I3e4a215b47a5a368210b268fa170aa2dddab721f
* fix(gerrit): settings where in wrong placeFranck Cuny2022-05-261-8/+8
| | | | Change-Id: I449f9032e32911fa33c26ec41faadb4f8acc8b1f
* feat(gerrit): use OAUTH for authenticationFranck Cuny2022-05-261-0/+10
|
* fix(gerrit): force gerrit to run as the git userFranck Cuny2022-05-261-0/+11
| | | | | | | The default configuration wants to run gerrit with a DynamicUser. However, this prevent the server to generate the ssh keys needed by gerrit. Instead, we can force the server to run with the 'git' user, which already exists.
* fix(gerrit): use localhost for the proxyFranck Cuny2022-05-261-1/+1
|
* fix(gerrit): remove extra '}' from stringFranck Cuny2022-05-261-1/+1
|
* fix(sourcegraph): remove extra '}' from stringFranck Cuny2022-05-261-1/+1
|
* fix(gerrit): apply a serverIdFranck Cuny2022-05-261-0/+1
| | | | | This identify the server (see https://github.com/NixOS/nixpkgs/blob/634141959076a8ab69ca2cca0f266852256d79ee/nixos/modules/services/web-apps/gerrit.nix#L141).
* feat(tahoe): enable gerritFranck Cuny2022-05-261-0/+4
|
* feat(gerrit): add the gerrit serverFranck Cuny2022-05-262-0/+51
| | | | | | Gerrit is a tool for doing code review for git. It will be running at cl.fcuny.net and will be the main way to interact with my git repositories.
* ref(dnsupdate): move under toolsFranck Cuny2022-05-257-9/+25
| | | | | | | | | Integrate properly the tool `dnsupdate` with flake.nix, by adding a default.nix inside its directory. Having all the tools under a directory named `tools` is easier to reason about. I don't need a go.mod at the top level directory either, each tool will have its own.
* ref(notes): drop flake.nixFranck Cuny2022-05-257-88/+48
| | | | | | | There's no need to have a flake.nix for the notes, we can use the same mechanism as for the blog and resume. Add a README so I remember how to use this in the future.
* ref(notes): don't rely on git for modified dateFranck Cuny2022-05-251-1/+0
| | | | | This is needed in order to replace the flake.nix with a default.nix, like I did for the blog earlier.
* ref(resume): remove flake.nixFranck Cuny2022-05-255-72/+39
| | | | | | | Integrate the resume with the rest of the repository, as I did for the blog in the previous commit. Added a script to copy the resume in the static directory of the blog.
* ref(blog): drop the flake configurationFranck Cuny2022-05-257-89/+43
| | | | | | There's no need to have multiple `flake.nix` in the repository. Make the blog part of the flake configuration at the root level of the repository, delete the one in the blog, and update the documentation.
* ref(blog): drop the `enableGitInfo` optionFranck Cuny2022-05-251-1/+0
| | | | | This is not going to work with the next change, so I'm just going to drop it.
* feat(resume): rename readme.org to resume.orgFranck Cuny2022-05-233-40/+44
| | | | | I can now have a readme.org with instructions on how to generate the resume (because I'll obviously forget again).
* feat(resume): set the version using the dateFranck Cuny2022-05-232-1/+3
|
* ref(resume): remove unneeded files for my resumeFranck Cuny2022-05-233-12/+0
| | | | | In a monorepo setup, the CI configuration is not used at this level of the tree, and the gitignore/envrc are not relevant.
* Merge remote-tracking branch 'resume/main'Franck Cuny2022-05-237-0/+193
|\
| * remove unused tex styleFranck Cuny2022-05-131-106/+0
| |
| * simplify the buildFranck Cuny2022-05-084-16/+41
| | | | | | | | | | | | | | Running `nix build` is enough to generate the file `resume.html`. It will be created in the `result` directory automatically. The configuration for the build is also updated to run `nix build`
| * drone: add configurationFranck Cuny2022-05-072-0/+9
| |
| * initial commitFranck Cuny2022-05-017-0/+265
|
* ref(notes): remove unneeded files for my notesFranck Cuny2022-05-234-21/+1
| | | | | In a monorepo setup, the CI configuration is not used at this level of the tree, and the gitignore/envrc are not relevant.
* Merge remote-tracking branch 'notes/main'Franck Cuny2022-05-2326-0/+1677
|\
| * delete MakefileFranck Cuny2022-05-111-27/+0
| | | | | | | | This is not needed anymore.
| * nix: add more contentFranck Cuny2022-05-111-0/+4
| |
| * add drone configurationFranck Cuny2022-05-111-0/+18
| |
| * add flake supportFranck Cuny2022-05-113-0/+89
| |
| * add a script to deploy the siteFranck Cuny2022-05-112-8/+15
| | | | | | | | | | Instead of using the Makefile, move the content to a script. This will be executed by drone later.
| * remove GitHub action workflowFranck Cuny2022-05-111-18/+0
| |
| * remove atom from the list of outputsFranck Cuny2022-05-111-9/+1
| |
| * update gitignoreFranck Cuny2022-05-101-0/+1
| |
| * nix: add tagsFranck Cuny2022-05-101-0/+1
| |
| * go: replace lsp-mode with eglotFranck Cuny2022-05-101-66/+15
| |
| * nix: start documenting what I'm learningFranck Cuny2022-05-101-0/+21
| |
| * content: update PCIe docFranck Cuny2022-04-031-1/+4
| |
| * site: remove unnecessary elementsFranck Cuny2022-04-038-116/+40
| |
| * delete some contentFranck Cuny2022-03-287-238/+0
| |
| * convert blog to notesFranck Cuny2022-03-2811-116/+117
| | | | | | | | Separating the two sites so I can customize them differently.
| * note: update list of chipset for alder lakeFranck Cuny2022-01-301-2/+11
| |
| * build: use more recent version of hugoFranck Cuny2022-01-231-1/+1
| |
| * notes: remove some columns for the various CPUsFranck Cuny2022-01-231-20/+22
| |
| * CSS: improve readabilityFranck Cuny2022-01-231-6/+9
| | | | | | | | Using Firefox' accessibility tool as a guide.
| * CSS: adjust some font sizesFranck Cuny2022-01-231-2/+2
| |
| * CSS: switch from class to idFranck Cuny2022-01-232-14/+14
| | | | | | | | These elements are unique on each page.
| * layout: no need for a class to element 'article'Franck Cuny2022-01-233-3/+3
| |
| * css: TOC location based on display's sizeFranck Cuny2022-01-231-19/+82
| | | | | | | | | | Depending on the size of the display, display the TOC either before the article or on the right of the article and let's make it sticky.
| * layout: proper TOCFranck Cuny2022-01-231-4/+13
| | | | | | | | | | | | | | | | | | | | | | | | There's a need for two TOCs in the layout: one for when the page is on mobile; one for non mobile. When we are on mobile, we display the first TOC, before the article. When we're not on mobile, we hide that TOC and display one after the document. We restructure a bit the layout so that's it's a bit more readable too, and close tags properly.
| * layout: wrap content in an "article" tagFranck Cuny2022-01-232-0/+8
| |
| * layout: drop the div 'main'Franck Cuny2022-01-231-6/+4
| | | | | | | | | | The div 'main' is not needed, we are creating an element named 'named' in the main block.
| * css: change style for tablesFranck Cuny2022-01-231-4/+8
| |
| * css: update color for the linksFranck Cuny2022-01-231-3/+3
| | | | | | | | Use a light blue.
| * nav: use 'fcuny.net' instead of template variableFranck Cuny2022-01-211-1/+1
| | | | | | | | | | Otherwise it's the name of the site, which is not what I'm looking for here.
| * css: major cleanupFranck Cuny2022-01-211-76/+84
| |
| * nav: align the menu items to the rightFranck Cuny2022-01-211-2/+7
| |
| * post: change formatting for the dateFranck Cuny2022-01-211-4/+4
| |
| * nav: drop one item from the menuFranck Cuny2022-01-211-7/+0
| |
| * blog: leaving twitterFranck Cuny2022-01-151-0/+10
| |
| * css: more tweakingFranck Cuny2022-01-131-29/+21
| |
| * index: rephraseFranck Cuny2022-01-101-1/+1
| |
| * index: update current jobFranck Cuny2022-01-081-1/+1
| |
| * blog: add content about PCIeFranck Cuny2022-01-081-0/+196
| |
| * blog: notes about AMD and Intel CPUsFranck Cuny2021-12-291-0/+120
| |
| * css: change colors for some sectionsFranck Cuny2021-12-291-7/+13
| |
| * css: adjust line heightFranck Cuny2021-12-291-4/+1
| |
| * css: highlight links with a background colorFranck Cuny2021-12-291-2/+13
| |
| * blog: article on how to use tailscale + traefikFranck Cuny2021-12-291-0/+121
| |
| * config: add author informationFranck Cuny2021-12-291-0/+4
| |
| * layout: add a link to the RSS feed in the menuFranck Cuny2021-12-291-1/+10
| | | | | | | | | | Specify the weight so that the items in the menu are listed in the order I want.
| * RSS: fix the templateFranck Cuny2021-12-291-3/+5
| | | | | | | | | | Generate correctly the content of the RSS feed. I only want the blog articles, not the notes.
| * css: improve the color and fontsFranck Cuny2021-12-201-116/+47
| |
| * index: re-organize the main pageFranck Cuny2021-12-201-9/+11
| | | | | | | | Add a "contact" header with my information under it.
| * menu: simplify the menuFranck Cuny2021-12-202-9/+10
| |
| * build: push git branches / tags after deployFranck Cuny2021-12-061-0/+2
| | | | | | | | After a successful deploy, push all the branches / tags to origin.
| * CSS: drop custom fonts + colorsFranck Cuny2021-12-061-19/+22
| |
| * resume: updateFranck Cuny2021-11-121-0/+0
| |
| * static: add my resumeFranck Cuny2021-11-121-0/+0
| |
| * build: be explicit about the image to useFranck Cuny2021-10-211-1/+1
| | | | | | | | | | If we're not explicit, we're trying to run the image tagged `latest', but there's no image with that tag.
| * static: add ssh-key from desktopFranck Cuny2021-10-021-0/+1
| |
| * build: get the proper version for taggingFranck Cuny2021-09-091-5/+2
| | | | | | | | | | | | | | | | | | | | | | | | We were evaluating the version of the app when the rule was evaluated, while we need to get the version after we run `flyctl deploy`. Since we're tagging a release, let's also annotate the tag. Remove the `--build-arg` argument to `flyct deploy` since it's being ignored (same with `docker build`). Closes #1.
| * blog: update elisp for git/sourcegraphFranck Cuny2021-09-091-3/+12
| |
| * static: add profile pictureFranck Cuny2021-08-261-0/+0
| |
| * blog: git-link and sourcegraphFranck Cuny2021-08-241-0/+40
| |
| * blog: sort pages in reverse orderFranck Cuny2021-08-241-1/+1
| |
| * build: sleep before taggingFranck Cuny2021-08-241-0/+1
| | | | | | | | | | | | | | The last deploy was tagged v13, while the version deployed was 14. It's possible that running `fly info` too quickly after a deploy returns the incorrect version. Adding a `sleep 5` before running the command for git tag.
| * CSS: various small fixesFranck Cuny2021-08-231-2/+2
| |
| * index: drop the main headerFranck Cuny2021-08-231-2/+0
| | | | | | | | It's ugly.
| * CSS: use decoration on headers only for articlesFranck Cuny2021-08-232-6/+10
| | | | | | | | | | | | | | | | | | | | Add an element "article" to the single page template, and change the CSS to use the decoration for headers only for that kind of content. Having decoration for all headers is distracting, it's more suited for actual content. We also don't need decoration for h1, only smaller headers.
| * CSS: rename the class for the tagsFranck Cuny2021-08-231-4/+6
| |
| * CSS: makes the menu more readableFranck Cuny2021-08-232-23/+39
| | | | | | | | Move the title to the left and the menu items to the right.
| * build: tag the repo after a deployFranck Cuny2021-08-151-2/+7
| | | | | | | | | | | | | | | | If the deployment is successful, tag the repository with the version being deployed on fly.io. Don't deploy unless the repository is clean (this is done with the target `worktree-clean`).
| * blog: working with go - initial contentFranck Cuny2021-08-151-0/+264
| | | | | | | | This note captures things that are useful when working with go for me.
| * blog: add tags to firecracker notesFranck Cuny2021-08-151-1/+2
| |
| * layout: don't use header tag in listFranck Cuny2021-08-151-1/+1
| |
| * CSS: make the content more readableFranck Cuny2021-08-151-15/+24
| | | | | | | | | | | | | | | | | | | | The Roboto Slab font is hard to read (at least for me). Switch to Droid Sans and make the text a bit smaller. Change the background of the page to white (again), and change the background color for the code snippets. Add text decoration for headlines (similar to org-bullet).
| * CSS: support table of contentFranck Cuny2021-08-152-0/+19
| | | | | | | | | | If an entry has the parameter `#+toc` set to `t`, we will enable the table of content in the page.
| * CSS: use a class for the menuFranck Cuny2021-08-152-8/+7
| | | | | | | | | | We will have more use of the tag `nav` and we will need different styles for it.
| * blog: replace github with git.fcuny.netFranck Cuny2021-08-141-1/+1
| |
| * blog: add link for containerd-to-vm codeFranck Cuny2021-08-141-1/+1
| |
| * css: reduce the size of the fontFranck Cuny2021-08-141-1/+1
| |
| * css: bigger font and highlight colorsFranck Cuny2021-08-052-6/+18
| | | | | | | | | | Increase the font size and change some of the colors used for highlighting code.
| * blog: update descriptionFranck Cuny2021-08-051-1/+1
| |
| * blog: add SSH public keysFranck Cuny2021-08-052-0/+2
| |
| * blog: add humans.txtFranck Cuny2021-08-052-0/+11
| | | | | | | | See humanstxt.org for more information.
| * hugo: enable git information againFranck Cuny2021-08-051-1/+1
| | | | | | | | | | Now that we're using a more recent version of the Docker image for hugo that comes with git, we can enable again git information.
| * build: add a MakefileFranck Cuny2021-08-051-0/+29
| | | | | | | | | | Add a Makefile to take care of most common operations (build, deploy, etc).
| * build: add DockerfileFranck Cuny2021-08-051-0/+7
| | | | | | | | | | | | | | | | The Dockerfile used by fly is relying on an older version of hugo ([1]). We can use a newer version and provide our own setup, and configure with the flags we want (e.g. promote to HTTS automatically). [1] https://github.com/superfly/flyctl/blob/3eb204909fbecd5fd2b1ba4517cdbce2abd9f74a/internal/build/imgsrc/builtins/defaultbuiltins.go#L89
| * hugo: TLS by defaultFranck Cuny2021-07-191-1/+1
| |
| * github: deploy to fly.io instead of GH pagesFranck Cuny2021-06-201-17/+5
| |
| * hugo: don't enable git infoFranck Cuny2021-06-201-1/+1
| | | | | | | | | | | | | | The docker image used by fly.io to deploy a static website with hugo does not come with git, which prevents us to use the option `enableGitInfo`. This is not critical for now, so let's disable it so we can deploy.
| * fly: add configuration for fly.ioFranck Cuny2021-06-201-0/+40
| |
| * blog: update to containerd articleFranck Cuny2021-05-191-1/+1
| | | | | | | | Fix boot options
| * css: add a scroll bar if the content overflowsFranck Cuny2021-05-181-1/+1
| |
| * blog: containerd to firecrackerFranck Cuny2021-05-171-0/+567
| |
| * layout: add a navbarFranck Cuny2021-04-229-38/+75
| | | | | | | | | | | | | | | | | | | | | | | | | | I want to differentiate blog's entries from more general notes. For this, we create two menu entries, and add a navbar at the top. The nav bar let us select between the two kind of articles: blogs or notes. For now we have a single blog entry, and no notes. The page to list entries is simplified: we use the same layout for all lists (tags, notes, blogs). The CSS is updated to support the new nav bar.
| * toml: re-configure markupFranck Cuny2021-04-131-1/+18
| |
| * css: switch to sans-serif; add tables; other tweaksFranck Cuny2021-04-131-5/+28
| |
| * css: remove extra white spaceFranck Cuny2021-04-111-1/+1
| |
| * blog: google doc failureFranck Cuny2021-04-111-0/+56
| |
| * css: change font to roboto slabFranck Cuny2021-04-111-5/+5
| |
| * taxonomy: add pages for tagsFranck Cuny2021-04-113-20/+48
| | | | | | | | | | | | | | We want to have pages that list all the articles related to a given tag. Update the configuration to add support for tags and the permalink structure.
| * layout: add date and tags to single pagesFranck Cuny2021-04-062-1/+42
| | | | | | | | | | | | | | We want to show the tags and the published/updated date for the articles. Add to the CSS the classes for these new elements.
| * css: update style for links and headersFranck Cuny2021-04-061-4/+8
| | | | | | | | Indent properly the CSS
| * css: set background color for code blockFranck Cuny2021-04-061-5/+9
| | | | | | | | Indent properly the CSS for the `pre` tag.
| * css: change the default fontFranck Cuny2021-04-061-5/+5
| |
| * layout: fix format for the dateFranck Cuny2021-04-061-1/+1
| |
| * layout: clean up empty spaceFranck Cuny2021-04-061-1/+1
| |
| * add action to publish to GH pagesFranck Cuny2021-03-071-0/+30
| | | | | | | | | | | | Add a workflow configuration to publish to GitHub pages. This is using the standard configuration from https://gohugo.io/hosting-and-deployment/hosting-on-github/
| * initial site with hugoFranck Cuny2021-03-0711-0/+180
| | | | | | | | | Start my website from scratch once more, using hugo to generate it. For now the layout is pretty simple: - an index page that will list future notes - notes should be created under the "content" directory The theme is custom and I'll try to keep this simple.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-10-16 22:34:34 +0000