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 ins
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
> actually use it :)
>
>
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
> 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
actually use it :)
-Max Stewart New
On Thu, Mar 10, 2016 at 5:50 PM, Robby Findler
wrote:
> Jens Axel kindly tracked down th
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.
> 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 there might be a simpler way now
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 not
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 'web-server' command at
>
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 (aka my website) to a real
>
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 scribble itself.
> >
> > The scenari
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 Ctr
> 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
>> "racket-server die" or similar command which does not use 'ki
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 non-r
> 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 doing anything strange,
so it
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 ra
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 at 4:07 PM, David Van Horn
>
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 litera
> 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`
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 require updating the
> rest of Racket
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 tryin
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 recei
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 types
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
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 <
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 dist
-
C A L L F O R P A P E R S
-
TFP 2016 ===
17th Symposium on Trends in Functional Programming
June 8-1
26 matches
Mail list logo
