VictorTaelin

// Interaction Calculus of Constructions
// =====================================

// Type
// ----

data Term
  = (Lam bod)
  | (App fun arg)
  | (Val bod)

goregrish

Nginx ngx_http_secure_link_module and PHP

Three example nginx locations and the PHP required for mp4 secure_links.

before: https://https://mydomain.com/data/videos/file.mp4
after : https://mydomain.com/data/videos/file.mp4?md5=Vtzs2WCnCqRsE47EH6U6pQ&expires=1617601227

make sure the secret password you use match in both lines below

$remote_addr secretword << in nginx config section

juanbrujo

scph5500.bin 26-Aug-2018 20:47 512.0K

scph5501.bin 26-Aug-2018 20:47 512.0K

scph5502.bin 26-Aug-2018 20:47 512.0K

---

ishad0w

deb http://archive.ubuntu.com/ubuntu/ focal main restricted universe multiverse
deb-src http://archive.ubuntu.com/ubuntu/ focal main restricted universe multiverse

deb http://archive.ubuntu.com/ubuntu/ focal-updates main restricted universe multiverse
deb-src http://archive.ubuntu.com/ubuntu/ focal-updates main restricted universe multiverse

deb http://archive.ubuntu.com/ubuntu/ focal-security main restricted universe multiverse
deb-src http://archive.ubuntu.com/ubuntu/ focal-security main restricted universe multiverse

deb http://archive.ubuntu.com/ubuntu/ focal-backports main restricted universe multiverse

frauzufall

https://imagej.net/Scripting_Headless

Start a SciJava command from command line:
./ImageJ-linux64 --run org.scijava.plugins.commands.debug.DumpStack

.. headless:
./ImageJ-linux64 --headless --run org.scijava.plugins.commands.debug.DumpStack

Calling a script from command line:
./ImageJ-linux64 --ij2 --headless --console --run hello.py 'name1="Mr",name2="Mrs Kraken"'

blakesanie

from PIL import Image
import colorsys
import math
import os

#frame parameters
width = 1000 #pixels
x = -0.65
y = 0
xRange = 3.4

Splode

Run Laravel Scheduled Tasks on Windows

The following are instructions for running scheduled tasks defined in a Laravel project on Windows. The Laravel documentation provides instructions for running scheduled tasks using cron jobs on Linux systems. However, cron jobs are not available on Windows. The built-in Windows Task Scheduler can be used to run scheduled tasks instead.

Create a Scheduled Task

1. Open Task Scheduler
2. Select Create Task...
3. Give the task a name and description
4. To run the task in the background, select Run whether the user is logged on or not and check the Hidden checkbox.

onlurking

Docker

First lecture

Verify if cli can talk to Docker engine.

docker version

View Docker engine config values.

leonardomarciano

[  
   {  
      "id":1,
      "hash":"5ba92bd1032f6721f7055e8d",
      "birthdate":"1999-08-05T03:00:00.000Z",
      "Wallet":[  
         {  
            "id":1,
            "address":"15rKHfPAXmzKV9YnqeJUpwvtnQkFk4xN6K",
            "hash":"5D68217D0C3DDFC029F1F8F2E61A80A8256342F27893FF0FE55DA861E75325D6F7C805A26CAE587F01AEE7980700E8F06422C233A0E2A8E9BF26AAD0C39E00C6",

mohanpedala

Table of Contents

• set -e, -u, -x, -o pipefail
• set -e
• set -x
• set -u
• set -o pipefail
• Setting IFS
• Original Reference

set -e, -u, -x, -o pipefail