镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

Confused by hyp drive rm hyper://... - Cannot delete synced drive. #20

Closed

Description

@Jolg42

Examples from a computer where I synced to (ie source is on the other computer).

hyp drive rm hyper://...
Accessing network...
Error: Cannot delete the root folder

hyp drive rm -r hyper://...
Accessing network...
Error: Cannot delete the root folder

hyp drive rmdir hyper://...
Accessing network...
Error: Cannot delete the root folder

hyp drive rmdir -r hyper://...
Error: URL is required

I want to delete this drive from this computer but it seems that I cannot. What should I do?

I'm curious to know where the drive is located on the filesystem (here macOS)?

Activity

  1. pfrazee commented on Dec 14, 2020

    @pfrazee
    Contributor

    Ah, interesting. So let me answer your 2nd question first.

    I'm curious to know where the drive is located on the filesystem (here macOS)?

    In the ~/.hyperspace folder, you'll find the "internal database." The hyper technology is a kind of database that acts like different things -- kind of like, for instance, if you built a filesystem on top of MySQL. (It's less insane than doing that but you get the idea.) So when you're interacting with a hyperdrive, you're interacting with that database.

    It might help to think of "hyperdrives" as virtual folders.

    Expanding a little more on that for those interested The "files" are stored in hyper's internal storage, and would look like nothing interesting if you looked at them. Another metaphor- it's kind of like how a .zip file contains lots of files inside it, but with hyper it's like 5-10 internal files with bits of data scattered around. It's done this way to make the hyper database as fast as possible.

    I want to delete this drive from this computer but it seems that I cannot. What should I do?

    So the drive rm command only deletes files inside of a hyperdrive, though intuitively I understand why you expected it to delete the drive itself.

    We don't have a "delete drive" command yet, @andrewosh let's plan to talk through how that would work

  2. Jolg42 commented on Dec 14, 2020

    @Jolg42
    Author

    Thanks @pfrazee for the details!

    Here is a snapshot of ~/.hyperspace for the curious (kinda looks like Spotify's cache 😄)

    So I guess for now if I want to a complete cleanup rm -r ~/.hyperspace should do the trick.

    Screen Shot 2020-12-14 at 16 57 05

  3. pfrazee commented on Dec 14, 2020

    @pfrazee
    Contributor

    @Jolg42 if you want to do a big unrecoverable nuke, that'd do it!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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