Skip to content

Instantly share code, notes, and snippets.

#!/bin/bash
# Replace grep domain
additional_strace_args="$1"
MASTER_PID=$(ps auwx | grep php-fpm | grep -v grep | grep domain | grep 'master process' | awk '{print $2}')
while read -r pid;
do
if [[ $pid != $MASTER_PID ]]; then
:set ts=2 sw=2 sts=2 et
set mouse=a
set term=xterm-256color
filetype plugin indent on
syntax on
set expandtab
set shiftwidth=2
set softtabstop=2
map <F2> @@