Closed Berkmann18 closed 2 years ago
Are you running the version available from the releases page here (i.e. natively on your computer), or via another package (e.g. Docker)?
@simonbrowndotje Yup, I downloaded the zip from the releases page.
Does this work with the newer versions?
Yup.
I'm trying to
push
a DSL (namedcurrent-sys.dsl
) and I get the following output:I've got the JSON files fetched by
pull
but those are outdated. That seems to be a regression given that pushing DSLs with the CLI on ArchLinux worked last time I tried (with an older version tho, given the CLI hasn't been ported to any of the Linux package managers). Edit: A similar issue happens with theexport
command.System
Unrelated but it seems that there's a discrepancy in the
workspace
arguments across commands wherevalidate
/list
have-w, --workspace
but notpull
/push
which have-workspace, --workspace
.