tmux new -s mysession
Ctrl+B then D
Later, reconnect and reattach:
tmux ls
| #!/bin/bash | |
| # "Things To Do!" script for a fresh Fedora Workstation installation | |
| # Check if the script is run with sudo | |
| if [ "$EUID" -ne 0 ]; then | |
| echo "Please run this script with sudo" | |
| exit 1 | |
| fi |
| # Free and Non-Free repos | |
| sudo dnf install https://download1.rpmfusion.org/free/fedora/rpmfusion-free-release-$(rpm -E %fedora).noarch.rpm | |
| sudo dnf install https://download1.rpmfusion.org/nonfree/fedora/rpmfusion-nonfree-release-$(rpm -E %fedora).noarch.rpm | |
| sudo dnf install ffmpeg gstreamer1-libav gstreamer1-plugins-ugly gstreamer1-plugins-bad-free --allowerasing |
| #!/bin/bash | |
| # --- INSTALL WRAPPER --- | |
| INSTALL_DIR="$HOME/.local/bin" | |
| INSTALL_PATH="$INSTALL_DIR/git-setup" | |
| BASHRC="$HOME/.bashrc" | |
| mkdir -p "$INSTALL_DIR" | |
| if [ "$(basename "$0")" != "git-setup" ]; then |
| #!/bin/bash | |
| set -e | |
| # Change this based on your preference | |
| printf '\ncd /mnt/c/Users/user0/Desktop\n' >> ~/.bashrc # Sets terminal on launch to navigate to that directory | |
| echo 'alias desktop="cd /mnt/c/Users/user0/Desktop"' >> ~/.bashrc | |
| echo 'alias py="python3"' >> ~/.bashrc # set alias py to python3 | |
| source ~/.bashrc |
| #!/bin/bash | |
| # THIS SCRIPT IS FOR PUSHINGGGGGGG!! | |
| # ✅PUSHING SCRIPT | |
| # ❌PULL❌ | |
| # Fix GPG signing in WSL | |
| export GPG_TTY=$(tty) | |
| # Parse command line arguments |
| Account | Purpose | Repo Origin | SSH Key | GPG Key | Encryption |
|---|---|---|---|---|---|
| dev | Development | git@github.com:dev-user/dev-repo.git |
/root/.ssh/id_dev_ed25519 |
dev <dev@mail.com> |
git-remote-gcrypt (Dev GPG) |
| prod | Production | git@github.com:prod-user/prod-repo.git |
/root/.ssh/id_prod_ed25519 |
prod <other@mail.com> |
git-remote-gcrypt (Prod GPG) |
Everything runs in WSL, keys stored under root, users without root cannot access or push.
The same local repo folder is used for both dev and prod (shared working copy). Dev/prod are not branches but separate configurations (remotes, SSH hosts, GPG keys, and Git identities).
Is this possible? Yes. Git supports multiple remotes in one repo, wi
| #include <iostream> | |
| #include <thread> | |
| #include <mutex> | |
| #include <chrono> | |
| std::mutex book1; | |
| std::mutex book2; | |
| void studentA() { |
| Account | Purpose | Repo Origin | SSH Key | GPG Key | Encryption |
|---|---|---|---|---|---|
| dev | Development | git@github.com:dev-user/dev-repo.git |
/root/.ssh/id_dev_ed25519 |
dev <kntjspr26@gmail.com> |
git-crypt (Dev PGP) |
| prod | Production | git@github.com:prod-user/prod-repo.git |
/root/.ssh/id_prod_ed25519 |
prod <other@mail.com> |
git-crypt (Prod PGP) |
Everything runs in WSL, keys stored under root, users without root cannot access or push.
| py -c "data = open('payload.bin','rb').read(); print('unsigned char shellcode[] = \"' + ''.join(f'\\x{b:02x}' for b in data) + '\";')" > shellcode.c |