nix: Add more shell aliases

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jul 12, 2024 · 76034e5 · 76034e5
1 parent 6244b4f
commit 76034e5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/hacking/nix/scope/world/shell.nix b/hacking/nix/scope/world/shell.nix
@@ -83,7 +83,8 @@ mkShell (seL4RustEnvVars // kernelLoaderConfigEnvVars // capdlEnvVars // bindgen
   ];
 
   shellHook = ''
-    # abbreviation
     export h=$HOST_CARGO_FLAGS
+    export t="--target $RUST_SEL4_TARGET"
+    export bt="--target $RUST_BARE_METAL_TARGET"
   '';
 })