4337 links
  • Arnaud's links
  • Home
  • Login
  • RSS Feed
  • ATOM Feed
  • Tag cloud
  • Picture wall
  • Daily
Links per page: 20 50 100
page 1 / 1
4 results tagged delete x
  • Effacer une branche Git à la fois locale et distante

    distante : git push origin --delete [nom_de_la_branche]

    August 9, 2021 at 5:40:10 PM GMT+2 - permalink - archive.org - https://www.journaldunet.fr/web-tech/developpement/1202943-effacer-une-branche-git-a-la-fois-locale-et-distante/
    branch delete git
  • thumbnail
    GitHub - hartwork/git-delete-merged-branches: Command-line tool to delete merged Git branches
    August 16, 2020 at 11:10:04 AM GMT+2 - permalink - archive.org - https://github.com/hartwork/git-delete-merged-branches
    delete git merge
  • Which is the fastest method to delete files in Linux

    wtf?

    cd dir
    time perl -e 'for(<*>){((stat)[9]<(unlink))}'

    July 3, 2017 at 4:51:54 PM GMT+2 - permalink - archive.org - http://www.slashroot.in/which-is-the-fastest-method-to-delete-files-in-linux
    delete dir linux perl
  • thumbnail
    How to delete a Git branch both locally and remotely? - Stack Overflow

    git push origin --delete <branch_name>

    November 24, 2016 at 9:12:16 AM GMT+1 - permalink - archive.org - http://stackoverflow.com/questions/2003505/how-to-delete-a-git-branch-both-locally-and-remotely
    branch delete git remote
Links per page: 20 50 100
page 1 / 1
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Help/documentation