nix: Add more shell aliases

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jul 11, 2024 · ff6478e · ff6478e
1 parent 2293bdb
commit ff6478e
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"
   '';
 })