• Miguel Morales's avatar
    Remove facets directory · 621be73e
    Miguel Morales authored
    The `cd` command switches to the user's home directory (away from the directory we want to delete)
    Then we remove the facets directory using the full path
    621be73e
Dockerfile 2.29 KB