[racket-users] Alternatives for installing packages?

I have this problem with openssl on my Ubuntu development machine : https://bugs.launchpad.net/ubuntu/+source/openssl/+bug/1475228 Unfortunately it's preventing me from installing new packages with raco pkg install Trying to do that just triggers the bug. Is there any other way to get and

Re: epsilon vs varepsilon (was Re: [racket-users] Unicode subscripts in code and scribble)

Thanks! I've pushed those fixes too. Robby On Thu, Mar 10, 2016 at 5:05 PM, Max New wrote: > Makes sense to follow TeX. > > Why not make the same change for \phi, \vartheta, \varrho and \varpi ? > > \varsigma looks to be correct, most likely because some PL researchers >

Re: [racket-users] Redirect port 80 to 443?

redirect-to (which is what that example uses) defaults to `temporarily`, but you can just pass `permanently` for the 301. Jay On Thu, Mar 10, 2016 at 5:05 PM, 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > > > On Mar 10, 2016, at 1:39 PM, Marc Kaufmann

Re: epsilon vs varepsilon (was Re: [racket-users] Unicode subscripts in code and scribble)

Makes sense to follow TeX. Why not make the same change for \phi, \vartheta, \varrho and \varpi ? \varsigma looks to be correct, most likely because some PL researchers actually use it :) -Max Stewart New On Thu, Mar 10, 2016 at 5:50 PM, Robby Findler wrote: >

epsilon vs varepsilon (was Re: [racket-users] Unicode subscripts in code and scribble)

Jens Axel kindly tracked down this link: http://tex.stackexchange.com/questions/98013/varepsilon-vs-epsilon and so I'm now planning to change how DrRacket treats \epsilon so that it inserts ϵ instead of the "backwards 3" that it currently does. Please let me know if that sounds wrong to you.

Re: [racket-users] Redirect port 80 to 443?

> On Mar 10, 2016, at 1:39 PM, Marc Kaufmann wrote: > > Hi all, > > I am trying to redirect HTTP requests to the web server (on port 80) to HTTPS > request on port 443. Is there an easy way to do this? I found the following > answer from 2012, but figured that

[racket-users] Redirect port 80 to 443?

Hi all, I am trying to redirect HTTP requests to the web server (on port 80) to HTTPS request on port 443. Is there an easy way to do this? I found the following answer from 2012, but figured that there might be a simpler way now (plus, Jay's answer mentions that there is an easier way if I do

Re: [racket-users] How to shut down racket webserver without sudo kill?

Thanks, that's helpful (I have been using Ctrl-C on my local machine, but when I want the site to be up all the time, that doesn't seem like an option). Cheers, Marc On Thu, Mar 10, 2016 at 3:53 PM, Jay McCarthy wrote: > I agree. Also, I don't think you should use the

[racket-users] Re: How to shut down racket webserver without sudo kill?

On Thu, 10 Mar 2016 15:26:28 -0500, Marc Kaufmann wrote: >tl;dr : What is the 'best' way to start and stop a web server? Is there a >"racket-server die" or similar command which does not use 'kill'? > >Some background: > >I am finally deploying lists of spaghetti-code

Re: [racket-users] Unicode subscripts in code and scribble

Here's a prototype: https://github.com/racket/scribble/pull/33 Vincent On Thu, 10 Mar 2016 13:28:27 -0600, Sam Tobin-Hochstadt wrote: > > On Thu, Mar 10, 2016 at 10:19 AM, Vincent St-Amour > wrote: > > I agree, any extension anyone makes should make it into

Re: [racket-users] How to shut down racket webserver without sudo kill?

I agree. Also, I don't think you should use the 'web-server' command at all. I think of (require web-server) as a library for making your own Web server, rather than an independent application with a configuration language (like Apache). I highly suggest thinking of it that way and using either

Re: [racket-users] How to shut down racket webserver without sudo kill?

> On Mar 10, 2016, at 12:46 PM, 'John Clements' via Racket Users > wrote: > > >> On Mar 10, 2016, at 12:26 PM, Marc Kaufmann >> wrote: >> >> Hi, >> >> tl;dr : What is the 'best' way to start and stop a web server? Is there a >>

Re: [racket-users] How to shut down racket webserver without sudo kill?

On Thu, Mar 10, 2016 at 03:26:28PM -0500, Marc Kaufmann wrote: > In case you are wondering why I start the server with root privileges, it > seems that I need those to listen to ports 80 and 443. On Linux, you can use setcap to enable specific executable to bind low ports even when running as

Re: [racket-users] How to shut down racket webserver without sudo kill?

> On Mar 10, 2016, at 12:26 PM, Marc Kaufmann wrote: > > Hi, > > tl;dr : What is the 'best' way to start and stop a web server? Is there a > "racket-server die" or similar command which does not use 'kill’? The web server is a standard process, not daemonized or

[racket-users] How to shut down racket webserver without sudo kill?

Hi, tl;dr : What is the 'best' way to start and stop a web server? Is there a "racket-server die" or similar command which does not use 'kill'? Some background: I am finally deploying lists of spaghetti-code (aka my website) to a real web server. I do not have the permissions to do 'sudo kill

Re: [racket-users] Unicode subscripts in code and scribble

That reminds me: In DrRacket \epsilon is displayed the same way \varepsilon is. /Jens Axel 2016-03-09 23:55 GMT+01:00 Robby Findler : > Scribble has a big table mapping unicode to latex commands. Maybe it > needs another entry? > > Robby > > > On Wed, Mar 9, 2016

Re: [racket-users] Unicode subscripts in code and scribble

Whoops left off the mailing list... On March 10, 2016 at 2:48:49 PM, Scott Moore (sdmo...@fas.harvard.edu) wrote: On March 10, 2016 at 2:41:53 PM, Leif Andersen (l...@leifandersen.net) wrote: On the other hand, I'm all down for making a `literal` or `exact`  scribble form that spits out the

Re: [racket-users] Unicode subscripts in code and scribble

> Should that table be user-extensible? Probably not. Ideally, the best thing to do would be to just fix scribble so that it actually properly compiles to latex rather than leaking it's abstractions. Although that may be too hard to do. :( On the other hand, I'm all down for making a `literal`

Re: [racket-users] Unicode subscripts in code and scribble

On Thu, Mar 10, 2016 at 10:19 AM, Vincent St-Amour wrote: > I agree, any extension anyone makes should make it into scribble itself. > > The scenario I'm concerned about is: user needs an extra character, but > can't update scribble. Or updating scribble would

Re: [racket-users] Unicode subscripts in code and scribble

Until we come up with a better solution, could you share a list of the characters you'd like to use (bonus points for the corresponding LaTeX commands!), so I can add them to Scribble's list? Vincent On Wed, 09 Mar 2016 16:03:06 -0600, David Van Horn wrote: > > I have some source code I'm

Re: [racket-users] problems with scribble while trying to document classes

Am Donnerstag, 10. März 2016 17:20:24 UTC+1 schrieb Matthew Flatt: > You need > > @(require (for-label racket/class)) > > to connect `object%` as used in your documentation to the `object%` > binding that is defined in documentation. > That works! Thanks for the immediate answer! -- You

Re: [racket-users] problems with scribble while trying to document classes

You need @(require (for-label racket/class)) to connect `object%` as used in your documentation to the `object%` binding that is defined in documentation. At Thu, 10 Mar 2016 08:15:55 -0800 (PST), Axel Schnell wrote: > I was writing some documentation about my experiments with classes and

[racket-users] problems with scribble while trying to document classes

I was writing some documentation about my experiments with classes and types while I encountered some problems. The first question came up when I read the scribble documentation because I could not find any information concerning the case when the class I like to document does not implement any

Re: [racket-users] Unicode subscripts in code and scribble

They way I've worked around this in the past is to render the problematic character as a Pict and then drop that Pict into the scribble document. Doing that has some problems but it can service if you can't get the character you want into scribble. On Thu, Mar 10, 2016, 9:19 AM Vincent St-Amour <

Re: [racket-users] Unicode subscripts in code and scribble

I agree, any extension anyone makes should make it into scribble itself. The scenario I'm concerned about is: user needs an extra character, but can't update scribble. Or updating scribble would require updating the rest of Racket, which may not be what the user wants. I guess with the split

[racket-users] [TFP 2016] 2nd call for papers

- C A L L F O R P A P E R S - TFP 2016 === 17th Symposium on Trends in Functional Programming June