Skip to content

Instantly share code, notes, and snippets.

View taherbs's full-sized avatar

Med Taher Ben Salem taherbs

View GitHub Profile
@taherbs
taherbs / Jenkinsfile
Last active March 25, 2024 06:01
jenkins safe auto update plugins
def DATETIME = new Date().format('yyyy_MM_dd_HH_mm_ss', TimeZone.getTimeZone('Canada/Eastern'))
def pluginsToReviewManually = []
def pluginsDeprecated = []
pipeline {
agent { label 'master' }
options {
//Build options
disableConcurrentBuilds()
buildDiscarder(
logRotator (
@Badgerati
Badgerati / jenkins.ps1
Last active April 8, 2021 19:43
PowerShell wrapper around the inbuilt Jenkins CLI
########################################################
# Author: Matthew Kelly (Badgerati)
#
# This is a PowerShell wrapper around the inbuilt Jenkins CLI.
# It simplifies the calls to Jenkins, by just allowing you
# to call commands with a simple "jenkins" call.
#
# Best used with the path to the script in your PATH.
#
# Requirements:
@myusuf3
myusuf3 / delete_git_submodule.md
Created November 3, 2014 17:36
How effectively delete a git submodule.

To remove a submodule you need to:

  • Delete the relevant section from the .gitmodules file.
  • Stage the .gitmodules changes git add .gitmodules
  • Delete the relevant section from .git/config.
  • Run git rm --cached path_to_submodule (no trailing slash).
  • Run rm -rf .git/modules/path_to_submodule (no trailing slash).
  • Commit git commit -m "Removed submodule "
  • Delete the now untracked submodule files rm -rf path_to_submodule