Place the agent in your mmlf/agents directory.
Place the configuration file in ~/.mmlf/config.
Run with: ./run_mmlf --config world_simple_q.yaml.
| # vim:ft=zsh ts=2 sw=2 sts=2 | |
| # Aldur's zsh-theme | |
| SEGMENT_SEPARATOR=' ' | |
| # Begin a segment | |
| # Takes two arguments, foreground (a colour) and bold (bold or not bold). | |
| prompt_segment() { | |
| [[ $1 != "none " ]] && echo -n "%F{$1}" | |
| [[ $2 == "bold" ]] && echo -n "%B" |
| import numpy | |
| import os | |
| import pickle | |
| from itertools import islice | |
| TRACES_DIRECTORY = "traces" | |
| OUTPUT_DIRECTORY = "output" |
| #!/usr/bin/env python | |
| # -*- coding: utf-8 -*- | |
| """ | |
| Red-Black binary trees properties: | |
| 1. Every node is either red or black. | |
| 2. The root is black. | |
| 3. Every leaf (NIL) is black. | |
| 4. If a node is red, then both its children are black. | |
| 5. For each node, all simple paths from the node to descendant leaves contain the same number of black nodes. |
| #! /usr/bin/env python | |
| # coding = utf-8 | |
| # author = Adriano Di Luzio - Unbit | |
| """ | |
| Given user and repository this script downloads and archives | |
| (by using Markdown) the entire issues history of the repository. | |
| It is designed to work with both python3 and python2. | |
| It requires python-requests. | |
| """ |
| #!/bin/sh | |
| # Set your pushbullet access token here: | |
| PUSHBULLET_ACCESS_TOKEN=SPECIFY_ACCESS_TOKEN_HERE | |
| # -- END of user configurable variables. -- | |
| PUSHBULLET_API_PUSH=https://api.pushbullet.com/v2/pushes | |
| curl --header "Authorization: Bearer $PUSHBULLET_ACCESS_TOKEN" \ | |
| -o /dev/null \ |
| #!/bin/sh | |
| # Mount an NFS share on Android | |
| # Requirements: | |
| # - Busybox | |
| # - A kernel supporting nfs (either built-in or as a module) | |
| # On my Nexus 7 2012 I use the following kernel: | |
| # http://forum.xda-developers.com/showthread.php?t=2107224 | |
| # Remember: if you have problems of system space, simply delete some of the default stuff. |
| for f in *.flac; do ffmpeg -i "$f" -ab 320k -map_metadata 0 -id3v2_version 3 "${f%flac}mp3"; done |
A simple Python script to extract unicode emojis from this page and store their details in a JSON file.
Additionally, it also extract the emoji images as PNG files.
Store the page:
Gain adb root.
$ adb shell am start -n com.android.engineeringmode/.qualcomm.DiagEnabled --es "code" "angela"
Download Magisk-v14.0 and extract it somewhere. Download MagiskManager.