sourcevault

#NoEnv
#SingleInstance force

SendMode Input

#Include <dual/dual>

dual := new Dual

#Include <dual/defaults>

sourcevault

sleep = require ("sourcevault/sleep")

sleep.hello()

sourcevault

copas = require 'copas'

copas.addthread ->

  copas.sleep 1

  os.execute '<<blocking more than 1 second>>'

I = 0

sourcevault

Empty

sourcevault

What is the idiomic way to create error messages in LPEG ?

To be specific I would like to create error messages for incomplete bracket completion.

Example :

[ 1 2 3 -- ERROR ! MISSING ] AT LINE 20

( 1 2 3 -- ERROR ! MISSING ) AT LINE 35

sourcevault

local success = function(all, pos) print('success') return pos end

local fail = function(all, pos) print('fail') return pos end

local common = Cmt(P('['), success)*(V('STMP')^0)*P(']')

local main_cmt = common + Cmt(P(']'),fail)

local main_normal = common + P(']')/fail

sourcevault

sudo service ssh restart

bindkey '\e[H' beginning-of-line
bindkey '\e[F' end-of-line



As mentioned in one of the comments, try mounting the share using these options:

-o uid=500,gid=users,nounix

sourcevault

\documentclass[a4paper]{article}
\pagenumbering{gobble}

\usepackage{concrete}
\usepackage{setspace}
\usepackage{graphicx}% delete the demo option in your actual code
\usepackage{multirow}
\usepackage{color}
\usepackage[table]{xcolor}
\usepackage[export]{adjustbox}

sourcevault

1. As at 2021-08-29, there is no more waiting period or manual form to request for unlock approval from Xiaomi. Instead follow every step described in this video https://youtu.be/pByHHTvms4k

2. Clone and check out linux branch
   ```
   git clone https://github.com/francescotescari/XiaoMiToolV2.git && cd XiaoMiToolV2 && git checkout linux
   ```

3. Edit one Java source file exactly as described [Xiaomi procedure failed: [getServiceToken] Missing serviceToken cookie #23 (comment)](https://github.com/francescotescari/XiaoMiToolV2/issues/23#issuecomment-904082515)

4. Install openjdk-11, `sudo dnf install java-11-openjdk`

sourcevault

global:
  port: 45
  path: ""
  username: pi
ssh: -tt -o LogLevel=QUIET -p {{global.port}}
remotehost: pi@192.168.43.92
remotefold: ~/router
rsync: false
watch: false
verbose: 1