Other articles

  1. Attending GUADEC 2016

    This year I have the chance to attend GUADEC, the gnome user and developer conference in Europe. I am very much looking forward to it. This will be my vaccation this year. I surely hope Karlsruhe is up to it.

  2. Published: Sat 02 July 2016

    Newest Family Member is a PocketC.H.I.P.

    C.H.I.P. and PocketC.H.I.P.

    C.H.I.P. and PocketC.H.I.P.

    Recently we've had a new addition to our family. A kickstarted one. So in the future, there probably will be relevant articles here as well.

    There are allready a few things planned with this 9$ PC.

  3. Teaching again (advanced programming)

    At the end of this semester I will give six hours worth of exam preparation for the 2nd year computer science bachelor's students in "advanced programming".

    While I have yet to consult with the teacher, what the focus of the exam will be, the following topics are covered during the run of the course:

    • Formulas and terms, signatures, algebraic data structures, tree-domains, pattern-matching, rewriting systems
    • Higher order functions, polymorphic functions (including typeclasses), lambda-calculus, recursion patterns
    • lazy evaluation and infinite data structures
    • git version management as a directed acyclic graph, code smells, refactoring

    Most of the time the students try to apply the material with Haskell and C#.

    While this course is more structured than the last one I helped preparing for the exam, the examination itself is not that rigid and it will be a fun challenge that I am very much looking forward to.

  4. Installing Cockpit on Raspbian



    I was playing a bit with with a Raspberry Pi B and raspbian and I wanted to install Cockpit on my pi. Sadly, we can't use the provided debian repository since they do not provide packages for our Pi's processor architecture.

    So we do it ourselves.

    First thing, we need to install node. If you already have a current node installation, you don't need to do that.

    Starting with node, we download the latest node source code and unpack it wget https://nodejs.org/dist/v5.9.1/node-v5.9.1.tar.gz && tar -xzf node-v5.9.1.tar.gz. We now can just cd in there (cd node-v5.9.1) and build and install it (./configure && make && sudo make install). This will take quite some time. This might even take a few hours. After the configure step, you can make > makelog & and then disown in order to leave that session alone and even close it. But don't forget to sudo make install once it's done.

    Now on to building Cockpit itself.

    First we need to install all the build dependencies:

    sudo apt-get install autoconf intltool libglib2.0-dev libsystemd-journal-dev libjson-glib-dev libpolkit-agent-1-dev libkrb5-dev libssh-dev libpam-dev libkeyutils-dev glib-networking

    After we've installed all the build dependencies, we can download the sources of the latest release from github. In my case, this was 0.99.

    wget https://github.com/cockpit-project/cockpit/archive/0.99.zip && unzip 0.99.zip

    After we cd-ed into the source directory, we can, more or less, follow the building instructions.

    Create and switch to the build directory and run autogen.sh. I had to disable pcp because I wasn't able to find the header files in the raspbian repository. We also disable documentation creation.

    mkdir build
    cd build
    ../autogen.sh --disable-pcp --disable-doc

    And once this step is done, we compile it, install it and copy some authorization files.

    sudo make install
    sudo cp ../src/bridge/cockpit.pam.insecure /etc/pam.d/cockpit
    sudo sh -c "cat ../src/bridge/sshd-reauthorize.pam >> /etc/pam.d/sshd"

    And we're basically done. Start cockpit with sudo systemctl start cockpit.socket and enable it to run on boot with sudo systemctl enable cockpit.socket.

    You're now good to go to access cockpit on port 9090 or integrate it in your cockpit landscape.

Page 1 / 2 »



Theme based on notmyidea