Skip to content

Instantly share code, notes, and snippets.


Anthony Axenov anthonyaxenov

View GitHub Profile
MitchRatquest /
Last active Oct 2, 2021
Setup a local gitea server with nginx proxy
#this script sets up a git user, installs gitea, a systemd service, and an nginx subdomain redirect
#inspired by
DOMAIN=EXAMPLE.COM #Please put your actual domain here
GIT_HOME=/opt/git #/home/git in the above tutorial
GITEA_PORT=3000 #default, but you can change it
if [[ $EUID -ne 0 ]]; then
echo "you need to be root"
exit 1
View time_diff_ms.php
* Computes the difference between two dates in milliseconds.
* @psalm-pure
* @return int $a - $b
View uuid_functions.php
namespace Infrastructure\Uuid;
use Ramsey\Uuid\Nonstandard\UuidV6;
use Ramsey\Uuid\Rfc4122\UuidV1;
use Ramsey\Uuid\Uuid;
AlexZeitler /
Created May 13, 2018
Installing zsh / oh-my-zsh / Powerlevel9k on Ubuntu 18.04
sh -c "$(curl -fsSL"
git clone ~/.oh-my-zsh/custom/themes/powerlevel9k
mkdir ~/.local/share/fonts/
mv PowerlineSymbols.otf ~/.local/share/fonts/
fc-cache -vf ~/.local/share/fonts/
mkdir ~/.config/fontconfig/conf.d/
mv 10-powerline-symbols.conf ~/.config/fontconfig/conf.d/
echo "Log out of your session and login again."
kwn / xdebug.ini
Last active Jan 15, 2021
Xdebug config with autostart
View xdebug.ini
xdebug.default_enable = 1
xdebug.cli_color = 1
xdebug.overload_var_dump = 1
xdebug.var_display_max_children = -1
xdebug.var_display_max_data = 4096
xdebug.var_display_max_depth = 10
xdebug.max_nesting_level = 250
xdebug.remote_enable = 1