Git Product home page Git Product logo

Comments (10)

ScottHutchinson avatar ScottHutchinson commented on September 7, 2024 1

I will look into this tomorrow.

from fsharp.org.

baronfel avatar baronfel commented on September 7, 2024 1

Worth noting these days that many repos have first class packages for the .Net SDK. e.g. for Ubuntu it's just 'apt install dotnet-sdk-7.0'. these instructions should probably take that into account.

from fsharp.org.

cartermp avatar cartermp commented on September 7, 2024

Which instructions?

from fsharp.org.

ScottHutchinson avatar ScottHutchinson commented on September 7, 2024

The ones the link points to.

from fsharp.org.

ScottHutchinson avatar ScottHutchinson commented on September 7, 2024

curl -sSL https://dot.net/v1/dotnet-install.sh | bash /dev/stdin --channel Current

from fsharp.org.

cartermp avatar cartermp commented on September 7, 2024

This is what I use (well, contributed) to gitpod to install and provision docker images with the right .NET installed. Works in those environments, which are proper linux and not WSL. So I'm not sure what else to do here.

The alternative is to follow the existing link on those pages, which eventually brings you here: https://docs.microsoft.com/en-us/dotnet/core/install/linux

As you can see, there's no real one-size-fits-all for linux installs unless you use the dotnet-install script.

from fsharp.org.

cartermp avatar cartermp commented on September 7, 2024

Ah, actually, I wonder if DOTNET_ROOT needs to get set? IIRC the default path is $HOME/.dotnet and so DOTNET_ROOT=/$HOME/.dotnet might be needed?

from fsharp.org.

ScottHutchinson avatar ScottHutchinson commented on September 7, 2024

The script seems to have created the .dotnet folder in the working directory instead of the user's home directory on Linux. The working directory was my user folder in Windows (/mnt/c/Users/hutchinsons). I'm not sure whether that .dotnet folder was already there and whether I need it on Windows; otherwise I would delete it and try again with my Linux home directory as the working directory.

from fsharp.org.

ShalokShalom avatar ShalokShalom commented on September 7, 2024

Can this be reproduced/closed?

from fsharp.org.

ScottHutchinson avatar ScottHutchinson commented on September 7, 2024

It looks like the script has changed, so I'm closing this issue.

from fsharp.org.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.