Skip to content

Instantly share code, notes, and snippets.

View ElMassas's full-sized avatar

Miguel Luís ElMassas

42 followers · 137 following
View GitHub Profile
@elliottminns
elliottminns / nix-darwin-activation.nix
Created October 7, 2024 14:27
system.activationScripts.applications.text = let
env = pkgs.buildEnv {
name = "system-applications";
paths = config.environment.systemPackages;
pathsToLink = "/Applications";
};
in
pkgs.lib.mkForce ''
# Set up applications.
echo "setting up /Applications..." >&2
@vncsna
vncsna / bash_strict_mode.md
Created June 6, 2021 01:59 — forked from mohanpedala/bash_strict_mode.md
set -e, -u, -o, -x pipefail explanation

set -e, -u, -o, -x pipefail

The set lines

  • These lines deliberately cause your script to fail. Wait, what? Believe me, this is a good thing.
  • With these settings, certain common errors will cause the script to immediately fail, explicitly and loudly. Otherwise, you can get hidden bugs that are discovered only when they blow up in production.
  • set -euxo pipefail is short for:
set -e
set -u
@bgauduch
bgauduch / multiple-repository-and-identities-git-configuration.md
Last active November 13, 2024 03:35
Git config with multiple identities and multiple repositories

Setup multiple git identities & git user informations

/!\ Be very carrefull in your setup : any misconfiguration make all the git config to fail silently ! Go trought this guide step by step and it should be fine 😉

Setup multiple git ssh identities for git

  • Generate your SSH keys as per your git provider documentation.
  • Add each public SSH keys to your git providers acounts.
  • In your ~/.ssh/config, set each ssh key for each repository as in this exemple:



  


  




    


          
    

      

        
        

          

              @josegonzalez
          

          

            
                josegonzalez
                / redis_migrate.py
            
            

              Last active
              November 4, 2024 19:58
                — forked from iserko/redis_migrate.py
            

              
                A simple script to migrate all keys from one Redis to another
              
          

        

      

        

  

    
    


        



  


  

        

          
          #!/usr/bin/env python
        

        

          
          import argparse
        

        

          
          import redis
        

        

          
          

        

        

          
          

        

        

          
          def connect_redis(conn_dict):
        

        

          
              conn = redis.StrictRedis(host=conn_dict['host'],
        

        

          
                                       port=conn_dict['port'],
        

        

          
                                       db=conn_dict['db'])
        

        

          
              return conn
        

  





    


  




    


          
    

      

        
        

          

              @ZwodahS
          

          

            
                ZwodahS
                / copy_redis_key.sh
            
            

              Created
              March 1, 2016 06:07
            

              
                copy a redis db key to another place (use MIGRATE COPY for v3.0<= redis)
              
          

        

      

        

  

    
    


        



  


  

        

          
          #!/bin/bash
        

        

          
          # source http://stackoverflow.com/questions/23222616/copy-all-keys-from-one-db-to-another-in-redis
        

        

          
          #set connection data accordingly
        

        

          
          source_host=localhost
        

        

          
          source_port=6379
        

        

          
          source_db=1
        

        

          
          target_host=localhost
        

        

          
          target_port=6379
        

        

          
          target_db=2
        

  





    


  




    


          
    

      

        
        

          

              @atcuno
          

          

            
                atcuno
                / gist:3425484ac5cce5298932
            
            

              Last active
              November 8, 2024 00:20
            

              
                HowTo: Privacy & Security Conscious Browsing
              
          

        

      

        

  

      

    
The purpose of this document is to make recommendations on how to browse in a privacy and security conscious manner. This information is compiled from a number of sources, which are referenced throughout the document, as well as my own experiences with the described technologies.


I welcome contributions and comments on the information contained. Please see the How to Contribute section for information on contributing your own knowledge.


Table of Contents