weenix-scripts.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

function wg {
    if [[ $# -eq 1 ]]; then
        if [[ "$1" != "-n" ]]; then
            echo 'incorrect usage'
            return 127
        fi
    fi

    WEENIX_DIR=/vagrant

    if [[ "$1" = "-n" ]]; then
        $WEENIX_DIR/weenix -n -d gdb; pkill qemu
    else
        $WEENIX_DIR/weenix -d gdb; pkill qemu
    fi
}

function rw {
     if [[ $# -eq 1 ]]; then
        if [[ "$1" != "-n" ]]; then
            echo 'incorrect usage' ]]
            return 127
        fi
    fi

    WEENIX_DIR=/vagrant

    if [[ "$1" = "-n" ]]; then
        $WEENIX_DIR/weenix -n;
    else
        $WEENIX_DIR/weenix;
    fi
}