about summary refs log blame commit diff stats
path: root/archive/1.vm/args.mu
blob: 3726f097dfac20fb5125ee300839ea469aa084b9 (plain) (tree)
1
2
3
4
5
6
7
8







                                                                      
# To provide commandline args to a Mu program, use '--'. In this case:
#   $ ./mu args.mu -- abc
#   abc
def main text:text [
  local-scope
  load-inputs
  $print text 10/newline
]
>
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49



                                                    
         

                      
                                                            


                       



                             



                                           


                                                                             



                       








                              
 
                    








                                                                                                                                        
                                            
 
             
#
# /etc/nginx/nginx.conf - nginx server configuration
#

user www;
worker_processes auto;

error_log syslog:server=unix:/dev/log,facility=daemon debug;

pid /var/run/nginx.pid;

events {
    worker_connections  1024;
}

http {
    include       mime.types;
    default_type  application/octet-stream;

    log_format  main  '$remote_addr - $remote_user [$time_local] "$request" '
                      '$status $body_bytes_sent "$http_referer" '
                      '"$http_user_agent" "$http_x_forwarded_for"';

    sendfile        on;
    #tcp_nopush     on;

    # Allow attach iso to wiki
    #client_max_body_size 8M;
    client_max_body_size 30M;
    #keepalive_timeout  65;
    keepalive_timeout  120;
    #client_body_timeout 12;
    client_body_timeout 24;
    #client_header_timeout 12;
    client_header_timeout 24;

    send_timeout 65;

    gzip  on;
    gzip_vary on;
    #gzip_proxied any;
    gzip_comp_level 9;
    # gzip_buffers 16 8k;
    # gzip_http_version 1.1;
    gzip_types text/plain text/css application/json application/javascript text/xml application/xml application/xml+rss text/javascript;

    include /etc/nginx/sites-enabled/*.conf;
}
# End of file