Comments (10)
BTW the first few lines of the trace won't help, if anything it would be some endless looping at the end of a very long trace. you would have to somehow catch the trace from the fsharpi process, don't know how to do that.
from fsharp.
OK. Not sure what else I can do to help.
from fsharp.
Did you try
fsharpi --readline-
Notice the - after the flag
from fsharp.
With this I get
bash-3.2$ fsharpi --readline-
Microsoft (R) F# 3.0 Interactive version (Mono build)
Copyright (c) Microsoft Corporation. All Rights Reserved.
For help type #help;;
1+1;;
val it : int = 2
from fsharp.
what's the best way to tell if a process should suppress an implementation of readline support when running on Mono? e.g. some method in Mono.Posix?
from fsharp.
--readline- solves the issue. Thanks a lot. Keep up the awesome work ;)
from fsharp.
Turned off readline by default when running as background non-console process
https://github.com/fsharp/fsharp/commit/2d604e1b66b61d2e6c4238cd4fa463ac9f0ca0c1
Detected by comparing foreground/background colors are equal. If there is a better way send a pull request.
from fsharp.
I think you want to probe the TERM variable to be "dumb" or not.
If the variable is not dumb, it means that you have editing capabilities.
from fsharp.
Thanks! Strangely it is "dumb" in Emacs and null when fsharpi is run from MonoDevelop.
System.Environment.GetEnvironmentVariable("TERM");;
val it : string = null
from fsharp.
If TERM is set, it means that you are running under a full fledged pseudo-terminal (Console.IsOutput/Input Redirected) will both be false. Once you have determined that you are on a pseudo-terminal, you can use TERM to determine the kind, dumb meaning "no terminal".
from fsharp.
Related Issues (20)
- Compiler and interactive session crash instantly. HOT 2
- StackOverflow calling very large generated function HOT 3
- .Net Core FSI causes security exception when attempting to executing a PInvoke call HOT 11
- Does F# type inference works top-down (and left-right) only? HOT 2
- Why is Map.filter 10x slower than using a query to select the keys and remove those individually? HOT 2
- Can't build with mono 5.18 / msbuild 15.3 (also fails without msbuild) HOT 19
- FSI evaluates expressions incorrectly HOT 1
- Result builder throwing null reference exception HOT 5
- Fail to parse(?) decimals with FSharpValue.MakeRecord ONLY in iOS device with Region Spanish/Colombia HOT 8
- fsharpi error on matching union type HOT 1
- Missing code for version 4.5.4 and 4.6.0+ HOT 3
- Publish F# 4.6 FSharp.Compiler.Tools package HOT 16
- fsharpi crash when applying attribute to type parameter HOT 2
- IEvent.Publish "forgets" that it's an IObservable when used with an anonymous record argument HOT 2
- Publish F-Sharp 4.6 on Github HOT 4
- F#: [<StructuredFormatDisplay>] in composed records just print dots. (...) HOT 2
- is there any uwp or wpf template for f# in visual studio? HOT 1
- can't run fsi HOT 4
- The property of `Struct Record` should add [<IsReadOnly>] for the read operation HOT 2
- This repo can be retired HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from fsharp.