This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
predicates | |
writeStatusMessage(integer). | |
status(integer). | |
positive(symbol). | |
negative(symbol). | |
rule(symbol,symbol). | |
rule(symbol). | |
request. | |
clauses |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""""""""""""""""""""""""""""""""""""""""""""""" | |
"" Vim settings | |
" Terminal settings | |
filetype plugin indent on | |
set clipboard=unnamedplus | |
scriptencoding utf-8 | |
set encoding=utf-8 | |
set esckeys | |
set ttimeoutlen=1 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# ~/.bashrc: executed by bash(1) for non-login shells. | |
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc) | |
# for examples | |
# If not running interactively, don't do anything | |
case $- in | |
*i*) ;; | |
*) return;; | |
esac |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Libs, apps | |
sudo apt-get -y install git tig mercurial hgview-curses curl wget mc tmux trash-cli silversearcher-ag \ | |
python-dev libbz2-dev libreadline-dev libssl-dev libxml2-dev ncurses-dev \ | |
libsqlite3-dev expat findutils exuberant-ctags gcc build-essential cmake make pkgconf tk-dev \ | |
vim vim-nox htop openssh-server | |
# Workspace | |
mkdir ~/workspace |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8" ?> | |
<Response> | |
<Say>The code is 1 2 3 4</Say> | |
<Pause length="1"/> | |
<Say>Repeat</Say> | |
<Pause length="1"/> | |
<Say>1 2 3 4</Say> | |
</Response> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@echo off | |
:: Simple Passwords Management. | |
:: The script sends first matching password (second word in line) to Windows clipboard. | |
:: First arument is AES-encrypted file. | |
:: Second argument is password line search string. | |
:: Changing backslashes to slashes and drives prefixes to Linux subsystem prefix (e.g. "C:\..." to "/mnt/c/...". | |
set FILE=%1 | |
set FILE=%FILE:\=/% | |
set FILE=%FILE:C:=/mnt/c% |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<!-- saved from url=(0029)https://alesha.neocities.org/ --> | |
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> | |
<meta name="viewport" content="width=device-width, initial-scale=1.0"> | |
<link rel="shortcut icon" href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAnklEQVQ4jc2RwQnCQBRE3/duB+nBEsSrWI9XF2sRYxepxniKhzQwXjZhSdafVRAcWPiwvMfAwK8jqZJ0ldTGV0uqPoE7zdMVSSRdJuBe0iHeNcBqwbFz/rYlDfpM/SGt20BSANaOv3kriLCXJ3DMChy4Bx7ADdiY2R3AHPiU3mZ2zllHQQ42M5sCWcG38Jg4Sxj2KQYTQUj2DYvAX+UFnvKs4rPUXpMAAAAASUVORK5CYII=" type="image/x-icon"> | |
<link rel="icon" href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAnklEQVQ4jc2RwQnCQBRE3/duB+nBEsSrWI9XF2sRYxepxniKhzQwXjZhSdafVRAcWPiwvMfAwK8jqZJ0ldTGV0uqPoE7zdMVSSRdJuBe0iHeNcBqwbFz/rYlDfpM/SGt20BSANaOv3kriLCXJ3DMChy4Bx7ADdiY2R3AHPiU3mZ2zllHQQ42M5sCWcG38Jg4Sxj2KQYTQUj2DYvAX+UFnvKs4rPUXpMAAAAASUVORK5CYII=" type="image/x-icon"> | |
<style type= |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(function(){ | |
const WORKSPACE_ID = 'YOUR-WORKSPACE-ID', | |
DB_NAME = 'reduxPersistence', | |
DB_VERSION = 2, | |
STORE = 'reduxPersistenceStore'; | |
function main(db) { | |
if (WORKSPACE_ID === 'YOUR-WORKSPACE-ID') { | |
alert('Please, change the WORKSPACE_ID'); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
javascript:!function(){const t="countdown-panel";let e=window._superProductiveCountdown=window._superProductiveCountdown||{timeout:null,running:!1,time:{default:120,current:120,maximum:120}};e.updatePanel=function(n,o){let i=document.getElementById(t)||function(){let e=document.createElement("div");return e.id=t,document.body.appendChild(e),e.style="background: #fff; position: fixed; z-index: 9999; cursor: move; top: 42px; left: 500px; width: 400px; height: 46px; padding: 10px;border: 1px solid lightgray; box-shadow: rgba(100, 100, 111, 0.2) 0px 7px 29px 0px;",e.innerHTML='\n <div id="progress-bar" style="position: relative; height: 20px; background-color: #f0f0f0; border-bottom: 1px solid #ccc;">\n <div class="progress" style="width: 100%; height: 100%; background-color: \'#dc3545\';"></div>\n <span class="timer" style="position: absolute; width: max-content; top: 50%; left: 50%; transform: translate(-50%, -50%); font-size: 18px;"></span>\n </div>\n <div style="position: relative; top: 5px |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
javascript:fetch("https://gist.githubusercontent.com/inebritov/8e9b27b8cb721a6ba93138e0c3681ca5/raw/agent-validator.js?cachebust="+Math.floor(1000*Math.random())).then((t=>t.text())).then((js=>{eval(js),window.__AgentValidator()})).catch((t=>console.error(t))); |