Skip to content

Git Dependency fails to install when space exists in User Folder name #2015

Description

@granttrevor

Description

I have a user folder that has a space in it eg: C:\Users\Firstname Lastname
Git dependency resolution fails when attempting to clone from C:\Users\Firstname Lastname.paket\git\db\folder into the paket-files folder.

It correctly fetches the repository from a remote github based repo into C:\Users\Firstname Lastname.paket\git\db\folder

Repro steps

Please provide the steps required to reproduce the problem

  1. Create a User with a Space in their User name, this will create a User folder that contains a space

  2. Add git dependency in paket.dependencies

git git@github.com:MyOrganisation/MyRepo.git master build: "powershell build.ps1"

  1. run packet.exe install

Expected behavior

Dependency should be installed in packet-files

Actual behavior

Paket failed with:
Checkout to C:\Working\MySolution\MyProject\paket-files\github.com\MyOrganisation\MyRepo failed.
Message: Could not run "git clone file:///C:\Users\Firstname Lastname.paket\git\db\MyRepo".
Error:
Cloning into 'Lastname.paket\git\db\MyRepo'...
fatal: 'C:/Users/Firstname' does not appear to be a git repository
fatal: Could not read from remote repository.

Known workarounds

None

Activity

  1. forki commented on Nov 11, 2016

    @forki
    Member

    you don't have a existing git url for me?

  2. granttrevor commented on Nov 14, 2016

    @granttrevor
    Author

    I've created a test repo - https://github.com/wzowee/paket-test and stuck the Serilog nuget package in the root which you could use to test the pulling down from a git source.

    Just to be clear the issue is with the name of the User folder on a Windows machine if this name has a space in it then the clone from the .paket folder with the user folder fails.

  3. forki commented on Nov 14, 2016

    @forki
    Member

    argh. so I need to create a windows user with space. ok let me try that.

  4. matthid commented on Nov 14, 2016

    @matthid
    Member

    Windows username with a space is basically asking for trouble ;)
    @forki Try to add some special characters as well, heard lots of funny stories in the past.

  5. forki commented on Nov 14, 2016

    @forki
    Member

    @matthid I will not! ;-)

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions