Skip to content

Is the code directory necessary? #210

@ckipp01

Description

@ckipp01

When using cmtc and you unzip the course you end up with the following structure:

.cmt
code

Especially for Scala and Metals users it's a problem if they don't actually open up code as the root of the workspace. If they don't Metals won't work as expected. One way to avoid that is to gently push users to open code, however having the .cmt dir here makes it seem like maybe this is the root. Is there a reason to have the code dir? Instead could the .cmt dir just be in the root of the actual code dir? This might avoid any confusion and get rid of an arbitrary extra dir.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions