This repository has been archived by the owner on Aug 8, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
aa8adaf
commit 89a89bf
Showing
7,403 changed files
with
842,587 additions
and
423,209 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,40 @@ | ||
| #------------------------------------------------------------------------------------------------------------- | ||
| # Copyright (c) Microsoft Corporation. All rights reserved. | ||
| # Licensed under the MIT License. See https://go.microsoft.com/fwlink/?linkid=2090316 for license information. | ||
| #------------------------------------------------------------------------------------------------------------- | ||
|
|
||
| FROM mcr.microsoft.com/dotnet/core/sdk:3.1 | ||
|
|
||
| # Avoid warnings by switching to noninteractive | ||
| ENV DEBIAN_FRONTEND=noninteractive | ||
|
|
||
| # This Dockerfile adds a non-root user with sudo access. Use the "remoteUser" | ||
| # property in devcontainer.json to use it. On Linux, the container user's GID/UIDs | ||
| # will be updated to match your local UID/GID (when using the dockerFile property). | ||
| # See https://aka.ms/vscode-remote/containers/non-root-user for details. | ||
| ARG USERNAME=vscode | ||
| ARG USER_UID=1000 | ||
| ARG USER_GID=$USER_UID | ||
|
|
||
| # Configure apt and install packages | ||
| RUN apt-get update \ | ||
| && apt-get -y install --no-install-recommends apt-utils dialog 2>&1 \ | ||
| # | ||
| # Verify git, process tools, lsb-release (common in install instructions for CLIs) installed | ||
| && apt-get -y install git openssh-client less iproute2 procps lsb-release \ | ||
| # | ||
| # Create a non-root user to use if preferred - see https://aka.ms/vscode-remote/containers/non-root-user. | ||
| && groupadd --gid $USER_GID $USERNAME \ | ||
| && useradd -s /bin/bash --uid $USER_UID --gid $USER_GID -m $USERNAME \ | ||
| # [Optional] Add sudo support for the non-root user | ||
| && apt-get install -y sudo \ | ||
| && echo $USERNAME ALL=\(root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME\ | ||
| && chmod 0440 /etc/sudoers.d/$USERNAME \ | ||
| # | ||
| # Clean up | ||
| && apt-get autoremove -y \ | ||
| && apt-get clean -y \ | ||
| && rm -rf /var/lib/apt/lists/* | ||
|
|
||
| # Switch back to dialog for any ad-hoc use of apt-get | ||
| ENV DEBIAN_FRONTEND=dialog |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,34 @@ | ||
| // For format details, see https://aka.ms/vscode-remote/devcontainer.json or this file's README at: | ||
| // https://github.com/microsoft/vscode-dev-containers/tree/v0.108.0/containers/dotnetcore-3.1-fsharp | ||
| { | ||
| "name": "F# (.NET Core 3.1)", | ||
| "dockerFile": "Dockerfile", | ||
|
|
||
| // Set *default* container specific settings.json values on container create. | ||
| // | ||
| // .NET Core is now the default for F# in .NET Core 3.0+ | ||
| // However, .NET Core scripting is not the default yet. Set that to true. | ||
| "settings": { | ||
| "terminal.integrated.shell.linux": "/bin/bash", | ||
| "FSharp.useSdkScripts":true, | ||
| "editor.trimAutoWhitespace": false, | ||
| "files.trimTrailingWhitespace": false, | ||
| "FSharp.suggestGitignore": false, | ||
| "FSharp.workspacePath": "FSharp.sln" | ||
| }, | ||
|
|
||
| // Add the IDs of extensions you want installed when the container is created. | ||
| "extensions": [ | ||
| "Ionide.Ionide-fsharp", | ||
| "ms-dotnettools.csharp" | ||
| ], | ||
|
|
||
| // Use 'forwardPorts' to make a list of ports inside the container available locally. | ||
| // "forwardPorts": [], | ||
|
|
||
| // Use 'postCreateCommand' to run commands after the container is created. | ||
| "postCreateCommand": "./build.sh", | ||
|
|
||
| // Uncomment to connect as a non-root user. See https://aka.ms/vscode-remote/containers/non-root. | ||
| // "remoteUser": "vscode" | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -26,3 +26,5 @@ mono/config.make text eol=lf | |
| targets.make text eol=lf | ||
|
|
||
| *.bsl linguist-vendored=true | ||
|
|
||
| *.png binary | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,40 @@ | ||
| --- | ||
| name: Bug report | ||
| about: Create a report to help us improve F# | ||
| title: '' | ||
| labels: '' | ||
| assignees: '' | ||
|
|
||
| --- | ||
|
|
||
| Please provide a succinct description of the issue. | ||
|
|
||
| **Repro steps** | ||
|
|
||
| Provide the steps required to reproduce the problem: | ||
|
|
||
| 1. Step A | ||
| 2. Step B | ||
|
|
||
| If possible attach a zip file with the repro case. This often makes it easier for others to reproduce. | ||
| The zip file should ideally represent the situation just before the call/step that is problematic. | ||
|
|
||
| **Expected behavior** | ||
|
|
||
| Provide a description of the expected behavior. | ||
|
|
||
| **Actual behavior** | ||
|
|
||
| Provide a description of the actual behaviour observed. | ||
|
|
||
| **Known workarounds** | ||
|
|
||
| Provide a description of any known workarounds. | ||
|
|
||
| **Related information** | ||
|
|
||
| Provide any related information (optional): | ||
|
|
||
| * Operating system | ||
| * .NET Runtime kind (.NET Core, .NET Framework, Mono) | ||
| * Editing Tools (e.g. Visual Studio Version, Visual Studio) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,20 @@ | ||
| --- | ||
| name: Feature request | ||
| about: Suggest an idea for the F# tools or compiler | ||
| title: '' | ||
| labels: Feature Request | ||
| assignees: '' | ||
|
|
||
| --- | ||
|
|
||
| **Is your feature request related to a problem? Please describe.** | ||
| A clear and concise description of what the problem is. Ex. I'm always frustrated when [...] | ||
|
|
||
| **Describe the solution you'd like** | ||
| A clear and concise description of what you want to happen. | ||
|
|
||
| **Describe alternatives you've considered** | ||
| A clear and concise description of any alternative solutions or features you've considered. | ||
|
|
||
| **Additional context** | ||
| Add any other context or screenshots about the feature request here. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Binary file not shown.
Oops, something went wrong.