commit c69c17c67b52156165f2bdde1e9606f63928aa6d · thecoded.prof/CMU

+1

html/README.md

··· 1 + # A Basic HTML Page

+3

html/css/styles.css

··· 1 + .h1 { 2 + font-size: 32px; 3 + }

+11

html/index.html

··· 1 + <html> 2 + <head> 3 + <title>HTML Page</title> 4 + <link rel="stylesheet" href="css/styles.css" /> 5 + <script src="js/script.js"></script> 6 + </head> 7 + <body> 8 + <h1>Hello World</h1> 9 + <button id="nav" onclick="navigateToPage('page2.html')">Page 2</button> 10 + </body> 11 + </html>

+3

html/js/script.js

··· 1 + navigateToPage = (page) => { 2 + window.location.href = page; 3 + };

+11

html/page2.html

··· 1 + <html> 2 + <head> 3 + <title>Another Page</title> 4 + <link rel="stylesheet" href="css/styles.css" /> 5 + <script src="js/script.js"></script> 6 + </head> 7 + <body> 8 + <h1>Page 2!</h1> 9 + <button id="nav" onclick="navigateToPage('index.html')">Index</button> 10 + </body> 11 + </html>

+8 -9

nilla.nix

··· 78 78 mkShell { 79 79 shellHook = '' 80 80 [ "$(hostname)" = "shorthair" ] && export ZED_PREDICT_EDITS_URL=http://localhost:9000/predict_edits 81 + unset TMPDIR 81 82 ''; 82 83 packages = [ 83 84 (python3.withPackages (ppkgs: [ ··· 108 109 }: 109 110 mkShell { 110 111 shellHook = '' 111 - zed() { 112 - /nix/store/071zfnbgg4f8i95rp6r5077z6mis3ss0-zed-editor-0.208.5/libexec/zed-editor "$@" & disown 113 - } 114 - export -f zed 112 + unset TMPDIR 115 113 ''; 116 114 packages = [ 117 115 pkgs.bun ··· 128 126 shells.none = { 129 127 systems = [ "x86_64-linux" ]; 130 128 131 - shell = { 132 - mkShell 133 - }: 129 + shell = 130 + { 131 + mkShell, 132 + }: 134 133 mkShell { 135 134 shellHook = '' 136 - echo "hello" 137 - ''; 135 + echo "hello" 136 + ''; 138 137 }; 139 138 }; 140 139 };