User Tools

Site Tools


tips:linux

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
tips:linux [2015/10/30 18:17]
erik
tips:linux [2015/10/30 18:31] (current)
erik
Line 37: Line 37:
    * [[.:​linux:​reloaddns|How to reload a DNS server?]]    * [[.:​linux:​reloaddns|How to reload a DNS server?]]
    * [[.:​linux:​rmduppkg|How to remove a package installed more than once?]]    * [[.:​linux:​rmduppkg|How to remove a package installed more than once?]]
-   * [[.:​linux:​gitrenametag|How to rename a Git tag?]] 
    * [[.:​linux:​gitpushmultiremote|How to push to multiple remotes with Git?]]    * [[.:​linux:​gitpushmultiremote|How to push to multiple remotes with Git?]]
 +   * [[.:​linux:​gitrenametag|How to rename a Git tag?]]
    * [[.:​linux:​cleansquid|How to restart Squid with a clean cache?]]    * [[.:​linux:​cleansquid|How to restart Squid with a clean cache?]]
    * [[.:​linux:​mailrelay|How to setup a mail relay?]]    * [[.:​linux:​mailrelay|How to setup a mail relay?]]
tips/linux.txt · Last modified: 2015/10/30 18:31 by erik