    user@host:~/developing$ bst workspace close --remove-dir hello.bst

    [--:--:--][        ][    main:core activity                 ] START   Loading elements
    [00:00:00][        ][    main:core activity                 ] SUCCESS Loading elements
    [--:--:--][        ][    main:core activity                 ] START   Resolving elements
    [00:00:00][        ][    main:core activity                 ] SUCCESS Resolving elements
    [--:--:--][        ][    main:core activity                 ] START   Resolving cached state
    [00:00:00][        ][    main:core activity                 ] SUCCESS Resolving cached state
    [--:--:--][        ][    main:core activity                 ] START   Removing workspace directory /home/user/developing/workspace_hello
    [00:00:00][        ][    main:core activity                 ] SUCCESS Removing workspace directory /home/user/developing/workspace_hello
    [--:--:--][        ][    main:core activity                 ] INFO    Closed workspace for hello.bst