Remove branches that have been removed from remote (does not prune local-only branches).
git fetch --prune
Remove file from git history (but keep it on disk)
Symptom: after sudo vpnc-disconnect, name resolution is dead until wifi is
toggled off/on. ping 8.8.8.8 works; ping google.com does not.
Status of this document: Option B is verified working on one machine
(Ubuntu-family, systemd-resolved, vpnc-scripts from /usr/share/vpnc-scripts).
Option A is derived from reading vpnc-script source and is the more correct fix,
but was not tested — validate it on one machine before any rollout.
| #!/usr/bin/env python3 | |
| import argparse | |
| import re | |
| import subprocess | |
| import sys | |
| from dataclasses import dataclass | |
| from pathlib import Path |
This is a simple bash script to split a file into pieces based
on provided file size and encrypt the chunks individually.
The script also provides option to decrypt them and re-combine them.
Useful in cases you want to upload/download files over an insecure
connection with limited upload/download size limit.
#!/bin/bash| % This is a gist to generate cover page for lab reports. | |
| % Based on the layout we usually need to use as engineering students. | |
| % Output: https://drive.google.com/file/d/16eNLZ0Vcf6K79jPwpKj6qzJ1O54koLU8/view?usp=sharing | |
| % Add Tribhuwan University (TU) logo named 'TU-logo.png' (jpg/pdf) inside './images/' | |
| % directory relative to root. You can download and include your own logo in the | |
| % directory (set paths + filename correctly). | |
| % Adjust the logo scale factor from \newcommand\logoScaleFactor{<your-scale-factor>} | |
| % The logo I have used can be downloaded from the following drive link - | |
| % Logo: https://drive.google.com/file/d/1OVkWmZXikLdYjIFgPGpvKb8-1HHSFQS4/view?usp=sharing |