Posts Categorized: Software

Git: ignore changes in tracked file

Sometimes you have changes on a tracked file, but you want to ignore that file (but keep it in the Git tree). Adding those files to a .gitignore file will not work, because Git will not ignore tracked files. However… You can ignore tracked files using the following command: git update-index –assume-unchanged <file> To stop… Read more »

LaTeX: graphs with coordinates input

In one of my previous posts I wrote about plotting LaTeX function graphs using pgfplots. But sometimes you don’t have a function rule, but just a set of data points. Using pgfplots you can easily plot a function using those coordinates. The following Tex code will draw a line through each of the data points. \begin{tikzpicture}[>=stealth] \begin{axis}[… Read more »

LaTeX grafieken tekenen

LaTeX is een opmaaktaal die vaak door wetenschappers gebruikt wordt. TeX is nogal handig om wiskundige formules e.d. in te voegen. Daarnaast is het plotten van functie grafieken iets dat elke wetenschapper al wel eens moet doen. Door gebruik te maken van het pgfplots pakket, kan je mooie grafieken genereren. Een eenvoudig voorbeeld van een grafiek ziet… Read more »

Server migratie afgerond

Tot voor kort draaide ik FreeBSD 10 op mijn server, met Apache webserver. Vorige week ben ik overgestapt van FreeBSD naar Ubuntu Server 14, en heb ik Apache vervangen door Nginx. FreeBSD heeft altijd super stabiel gedraaid, maar met ports of firewalls werken is op BSD niet altijd een lachertje (zeker niet toen er IPv6… Read more »

Git: author en email aanpassen in history

Het gebeurt al wel eens dat je in een commit de verkeerde author of email hebt staan. Als je zo een reeks commits hebt in een project, kan je met een shell script alle commits herschrijven. #!/bin/sh git filter-branch –env-filter ‘ an=”$GIT_AUTHOR_NAME” am=”$GIT_AUTHOR_EMAIL” cn=”$GIT_COMMITTER_NAME” cm=”$GIT_COMMITTER_EMAIL” if [ “$GIT_COMMITTER_EMAIL” = “old_mail@example.com” ] || [ “$GIT_COMMITTER_EMAIL” =… Read more »

Fish shell & sudo !!

Het gebeurt maar al te vaak dat je in de terminal een commando opnieuw wilt uitvoeren maar dan met sudo ervoor. Op de meeste systemen typ je dan sudo !! om het vorige commando als super user uit te voeren, maar fish shell doet dat niet. Het is echter mogelijk om de sudo functie te… Read more »

OpenBSD ontwikkelt LibreSSL

Na de recente heartbleed bug in OpenSSL hebben flink wat mensen hun vertrouwen verloren in de beveiligingssoftware. Zo ook de ontwikkelaars van OpenBSD, dat bekend staat als één van de veiligste besturingssystemen (met als slogan ‘Only two remote holes in the default install, in a heck of a long time!‘). Onder leiding van Theo de… Read more »