Mohamed Benr benemohamed

Flutter

A quick cheatsheet of useful snippet for Flutter

Widget

A widget is the basic type of controller in Flutter Material. There are two type of basic Widget we can extend our classes: StatefulWidget or StatelessWidget.

Stateful

StatefulWidget are all the widget that interally have a dynamic value that can change during usage. It can receive an input value in the constructor or reference to functions. You need to create two classes like:

Introduction

This document contains some of the ffmpeg snippets I use most commonly, and typically in the context of converting research-related image data to video. It is not meant to be exhaustive.

Hyperlinks (a.k.a. HTML-like anchors) in terminal emulators

[ Update 2025-03-24: Commenting is disabled permanently. Previous comments are archived at web.archive.org. ]

Most of the terminal emulators auto-detect when a URL appears onscreen and allow to conveniently open them (e.g. via Ctrl+click or Cmd+click, or the right click menu).

It was, however, not possible until now for arbitrary text to point to URLs, just as on webpages.

#CURL Connections with Tor

Install Apache, PHP, CURL & Tor with apt-get

sudo apt-get install -y apache2 php5 php5-curl tor

Tor creates a proxy on your mashine with port 9050 for SOCKS5 connections.

	language: node_js
	node_js: "10"
	os: osx
	osx_image: xcode10.2

	before_cache:
	- rm -rf $HOME/.cache/electron-builder/wine

	cache:
	yarn: true

	...

	Beautifier.prototype.beautify = function() {

	...

	var source_text = this._source_text;

	// BEGIN
	source_text = source_text.replace(/\{\{(--)?((?:(?!(--)?\}\}).)+)(--)?\}\}/g, function(m, ds, c, dh, de) {

	{
	"emojis": [
	{"emoji": "👩‍👩‍👧‍👧", "name": "family: woman, woman, girl, girl", "shortname": ":woman_woman_girl_girl:", "unicode": "1F469 200D 1F469 200D 1F467 200D 1F467", "html": "👩&zwj;👩&zwj;👧&zwj;👧", "category": "People & Body (family)", "order": ""},
	{"emoji": "👩‍👩‍👧‍👦", "name": "family: woman, woman, girl, boy", "shortname": ":woman_woman_girl_boy:", "unicode": "1F469 200D 1F469 200D 1F467 200D 1F466", "html": "👩&zwj;👩&zwj;👧&zwj;👦", "category": "People & Body (family)", "order": ""},
	{"emoji": "👩‍👩‍👦‍👦", "name": "family: woman, woman, boy, boy", "shortname": ":woman_woman_boy_boy:", "unicode": "1F469 200D 1F469 200D 1F466 200D 1F466", "html": "👩&zwj;👩&zwj;👦&zwj;👦", "category": "People & Body (family)", "order": ""},
	{"emoji": "👨‍👩‍👧‍👧", "name": "family: man, woman, girl, girl", "shortname": ":man_woman_girl_girl:", "unicode": "1F468 200D 1F469 200D 1F467 200D 1F467", "html": "👨&zwj;👩&z

	<?php

	if (!function_exists('interface_exists')) {
	die('PHP version too old');
	}
	$throwables = listThrowableClasses();
	$throwablesPerParent = splitInParents($throwables);
	printTree($throwablesPerParent);
	if (count($throwablesPerParent) !== 0) {
	die('ERROR!!!');

	/**
	* Convert a `Map` to a standard
	* JS object recursively.
	*
	* @param {Map} map to convert.
	* @returns {Object} converted object.
	*/
	function map_to_object(map) {
	const out = Object.create(null)
	map.forEach((value, key) => {