Paket install does not do a dotnet restore and does not notify Ionide

[isaacabraham]

When you call paket install, I would expect dotnet restore to be implicitly called, but it is not - you have to explicitly call dotnet restore in order to get installed projects to show up. Using paket global tool version 5.207.0.

Steps to reproduce

1. Create an empty F# console application.
2. Convert it to paket
3. Add Saturn to the dependencies file.
4. Add a paket references file and add Saturn as well.
5. Run paket install.
6. Try to open the Saturn namespace. Observe that the compiler does not recognise it in e.g. Ionide.
7. Run dotnet restore.
8. Observe that the namespace is now available.

Sample dependencies file

source https://www.nuget.org/api/v2
storage: none

nuget Saturn

[forki]

yeah I think the question is: Do we want to call dotnet restore automatically at the end of paket install or paket restore. I would probably make things easier for IDEs /cc @matthid

[isaacabraham]

@forki would this lead to some kind of infinite loop - dotnet restore also calls paket restore doesn't it?

[forki]

well, in theory the new spawned paket just sees that everything is up-to-date and will exit early.

[matthid]

We can try but lots of questions arise and it is dangerous territory.

• what if no dotnet sdk is installed?
• where do we search?
• what if loops exist? -> very much possible when we cannot detect all target frameworks with our heuristic, for example if people use build.props or other msbuild tricks
• should we fail if dotnet fails?

[forki]

I think we would just try to call it and not fail. This would be just convenience for IDEs

[forki]

one question is why Ionide doesn't call dotnet restore after 5) automatically. cc @Krzysztof-Cieslak any ideas?

[forki]

OK I think I found the reason. It doesn't nukes the project.assets.json - which means Ionide can't know that it needs to restore again

[isaacabraham]

On a clean project there won't be a project.assets.json though

[forki]

can you please update the text with when you open ionide in the process

[forki]

On a clean project there won't be a project.assets.json though

dotnet new is calling dotnet restore. So yes you have that file hanging around

[isaacabraham]

Didn't even realise that :-)

[isaacabraham]

@forki thanks that's great.