Skip to content

Instantly share code, notes, and snippets.

@binshengliu
binshengliu / install-clang-8-debian.sh
Created May 14, 2019 01:58
Install Clang-8 on Debian Stretch
sudo echo -e 'deb http://apt.llvm.org/stretch/ llvm-toolchain-stretch-8 main\ndeb-src http://apt.llvm.org/stretch/ llvm-toolchain-stretch-8 main\n' >> /etc/apt/sources.list
sudo aptitude install clang-8 clang-tools-8 clang-format-8
sudo aptitude install libc++-8-dev libclang-8-dev libc++abi-8-dev
sudo update-alternatives --install /usr/bin/clang clang /usr/bin/clang-8 100
sudo update-alternatives --install /usr/bin/clang++ clang++ /usr/bin/clang++-8 100
sudo update-alternatives --install /usr/bin/clangd clangd /usr/bin/clangd-8 100
sudo update-alternatives --install /usr/bin/clang-format clang-format /usr/bin/clang-format-8 100
@serweb-labs
serweb-labs / mysql_migrar_privilegios_usuarios.md
Last active May 7, 2024 19:05
Migrar usuarios y privilegios de un servidor a otro

Los privilegios de MySQL se pueden migrar de varias formas, una de ellas es básicamente exportar e importar la base de datos “mysql” de un servidor a otro. Si no queremos sobreescribir ciertas tablas o registros, lo mejor es ceñirnos únicamente a lo que nos interesa, en este caso los usuarios, passwords y la relación de privilegios para cada una de las bases de datos y tablas del servidor MySQL.

Como he comentado, los usuarios se encuentran en la base de datos de sistema “mysql” y la tabla “user” (mysql.user). Para extraer los privilegios necesitamos dos pasos:

El primer paso consisten en extraer el lista de usuarios del sistema pero construyendo a la vez una consulta SQL para cada uno que nos permita luego extraer la información de cada uno. La consulta es la siguiente. Veis que no accedo a la shell MySQL sino que la ejecuto directamente desde línea de comandos bash para volcarlo a un fichero, esto me permite ahorrarme limpiar posteriormente el formato de tablas, etc:

$ mysql -u root -p -Bse "SELECT
@niksumeiko
niksumeiko / git.migrate
Last active April 29, 2025 08:03
Moving git repository and all its branches, tags to a new remote repository keeping commits history
#!/bin/bash
# Sometimes you need to move your existing git repository
# to a new remote repository (/new remote origin).
# Here are a simple and quick steps that does exactly this.
#
# Let's assume we call "old repo" the repository you wish
# to move, and "new repo" the one you wish to move to.
#
### Step 1. Make sure you have a local copy of all "old repo"
### branches and tags.