KRAFT-SET(1)
π kraft-set(1) β like, the KraftKit CLI manual, bestie
okay so real talk: this is kraft-set from the KraftKit CLI (yes, the KraftKit Manual one, section 1, we're fancy). Sit down, grab a lil drink, and lemme tell you about setting a variable for a Unikraft project. π
β¨ NAME β¨
kraft-set β set a variable for a Unikraft project. that's it. that's the whole vibe. π¦
πΈ SYNOPSIS πΈ
kraft set [OPTIONS] [param=value ...]
π DESCRIPTION π
Set a variable for a Unikraft project.
no cap, that's genuinely the entire description. short and iconic. π
π«Ά OPTIONS π«Ά
-m,--arch=""β filter your targets by architecture. empty string by default, she's flexible like that β¨-F,--force[=false]β skip KConfig validation. lives atfalseuntil you tell her otherwise. (validation is a vibe check, and this skips the vibe check π)-h,--help[=false]β help forset. defaults tofalse, obviously, she's not gonna help you unprompted π-K,--kraftfile=""β set an alternative path of the Kraftfile. default"". point her at the file of your dreams π-p,--plat=""β filter targets by platform. default""π§-t,--target=""β set config for a specific target. default""π―-w,--workdir=""β work on a unikernel at a path. default""π
π₯ EXAMPLES π₯
setting variables in the cwd project, main character style:
# Set variables in the cwd project
$ kraft set LIBDEVFS_DEV_STDOUT=/dev/null LWIP_TCP_SND_BUF=4096
setting variables in a project at a path, because we're organized girlies:
# Set variables in a project at a path
$ kraft set -w path/to/app LIBDEVFS_DEV_STDOUT=/dev/null LWIP_TCP_SND_BUF=4096
and setting variables for a specific target, periodt:
# Set variables for a specific target
$ kraft set --plat=qemu --arch=x86_64 CONFIG_LIBUKDEBUG=y
π¦ SEE ALSO π¦
kraft(1)β the mothership. go say hi π
β HISTORY β
1-Jan-1980 β Auto generated by KraftKit. vintage. iconic. literally older than the concept of a group chat π
and that's the whole page, bestie!! π β¨ run it, love it, set those variables. mwah π«Ά
sign-off szn: this lil masterpiece came from the KraftKit Documentation, dated Jan 1980, and it's hanging out under the KraftKit CLI(1) header. no cap. πΈ
π¦ where this page comes from
- nixpkgs unstable: kraft 0.12.16
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms