7 Commits

Author	SHA1	Message	Date
Alessio	38ace43ca0	arvo: change |new-desk to be minimal by default	2023-03-29 14:20:23 -03:00
Alessio	00b7ace08d	arvo: add more files to |new-desk generator	2023-03-27 23:58:19 -03:00
fang	bad5013c8a	gen: in |new-desk, prompt instead of crash ... If a desk already existed, we would crash the generator, embedding a message in the resulting stack trace. To improve legibility, we turn this into an %ask generator, prompting only if we are about to overwrite an existing desk. We also update the =force argument to be =hard instead, to match |nuke.	2022-06-01 20:21:27 +02:00
fang	49ad872629	gen: in |new-desk, fetch files individually ... The ankh is no longer included in the dome, so we must scry out files one by one.	2022-06-01 20:20:18 +02:00
fang	d260f391ea	gen: |make-desk -> |new-desk ... User survey (sample size: 2) suggests |new-desk is the more ergonomic name.	2022-06-01 20:19:13 +02:00
fang	beebc5fe0e	gen: |new-desk -> |make-desk	2021-10-29 11:28:19 +02:00
fang	71c7d315a9	gen: add |new-desk for creating minimal desks ... Includes the bare minimum of necessary files.	2021-10-25 16:20:34 +02:00