VirtualTam's bookmarks

1. git - Explain which gitignore rule is ignoring my file 2022-12-27

   tags: source-code-management/git

   [ permalink ]

   • https://git-scm.com/docs/git-check-ignore
2. diffware: An extensively configurable tool providing a summary of the changes between two files or directories, ignoring all the fluff you don't care about. 2022-08-23

   tags: archive, binary, diff, firmware, programming/python

   [ permalink ]
3. Jenkins Job DSL Plugin 2018-09-25

   tags: continuous-integration, continuous-integration/jenkins, meta, pipeline, programming/groovy, programming/java, script

   [ permalink ]

   • https://github.com/jenkinsci/job-dsl-plugin/wiki
   • https://stackoverflow.com/questions/47206215/environmentvariables-not-working-for-jenkins-job-dsl-and-pipeline-jobs
   • https://stackoverflow.com/questions/33792633/using-jenkins-job-dsl-to-set-polling-ignores-commits-in-certain-paths-for-git
   • https://github.com/jenkinsci/job-dsl-plugin/wiki/User-Power-Moves
   • https://stackoverflow.com/questions/43699190/seed-job-asks-for-script-approval-in-jenkins
   • https://groups.google.com/forum/#!msg/job-dsl-plugin/jueturR7sCo/2BCz2rRWBAAJ
   • https://github.com/Praqma/JenkinsAsCodeReference
4. How can I diff 2 files while ignoring leading white space - Stack Overflow 2018-07-24

   tags: diff, file, space

   [ permalink ]
5. GitHub - simonwhitaker/gibo: A shell script for easily accessing gitignore boilerplates 2017-01-23

   tags: ignore, linux, programming/shell, programming/shell/bash, source-code-management/git

   [ permalink ]

   https://github.com/github/gitignore

6. Getting svn to ignore files and directories | superchlorine 2016-11-22

   tags: ignore, source-code-management/subversion

   [ permalink ]
7. svn - How do I ignore files in Subversion? - Stack Overflow 2016-11-22

   tags: ignore, source-code-management/subversion

   [ permalink ]
8. Git - Split / shrink a repository 2014-09-05

   tags: control, development, repository, source-code-management/git, split, version

   [ permalink ]

    1# first, clone the repository
    2git clone REPO REPO2
    3cd REPO2
    4# remove all unneeded files from this version
    5git filter-branch -f --prune-empty --index-filter "git rm --cached --ignore-unmatch FILES_AND_DIRS_TO_DELETE"
    6git gc --aggressive --prune=1day
    7git fsck --unreachable
    8# refresh the remote
    9git remote rm origin
   10git remote add origin ssh://HOST/REPO
   11# broforce push!
   12git push -f origin master
   13
   14# cleanup our original repository
   15cd REPO
   16git filter-branch -f --prune-empty --index-filter "git rm --cached --ignore-unmatch OTHER_FILES_AND_DIRS_TO_DELETE"
   17git gc --aggressive --prune=1day
   18git fsck --unreachable
   19# broforce push!
   20git push -f origin master