This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
lu@dabian ~/data l | |
total 4.5M | |
drwxr-xr-x 2 lu lu 4.0K Jun 8 10:32 . | |
drwxr-xr-x 55 lu lu 4.0K Jun 8 10:33 .. | |
-rw-r--r-- 1 lu lu 5.0K Jun 3 15:51 project.db | |
-rw-r--r-- 1 lu lu 1.3M Jun 3 15:51 result.db | |
-rw-r--r-- 1 lu lu 1.3M Jun 8 10:05 result.db.b | |
-rw-r--r-- 1 lu lu 1.8K Jun 3 16:06 scheduler.1d | |
-rw-r--r-- 1 lu lu 2.9K Jun 3 16:06 scheduler.1h | |
-rw-r--r-- 1 lu lu 208 Jun 3 16:06 scheduler.all |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
perl -wnlae 'print $F[0];' record_file |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
perl -i.b -wple 's/a/1/g;' 1 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM ubuntu:14.04 | |
MAINTAINER Traun Leyden <[email protected]> | |
# A docker container with the Nvidia kernel module and CUDA drivers installed | |
ENV CUDA_RUN http://developer.download.nvidia.com/compute/cuda/7_0/Prod/local_installers/cuda_7.0.28_linux.run | |
RUN apt-get update && apt-get install -q -y \ | |
wget \ | |
build-essential |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
theory Simple | |
imports Main | |
begin | |
primrec itrev :: "'a list ⇒ 'a list ⇒ 'a list" | |
where | |
"itrev [] ys = ys" | | |
"itrev (x#xs) ys = itrev xs (x#ys)" | |
(* |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
./core/drivers/leon_uart.c:85:static struct uartInfo | |
./core/kernel/arch/leon_timers.c:142:static struct pitClockData | |
./core/kernel/irqs.c:82:extern struct exPTable | |
./core/klibc/stdio.c:283:typedef struct Sndata | |
./core/include/xmef.h:29:struct xefCustomFile | |
./core/include/xmef.h:39:struct xmHdr | |
./core/include/xmef.h:51:struct xmImageHdr | |
./core/include/xmef.h:67:struct xmefFile | |
./core/include/xmef.h:75:struct xmefPartition | |
./core/include/xmef.h:87:struct xmefContainerHdr |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM ubuntu:14.04 | |
MAINTAINER Lu Shengliang <[email protected]> | |
# A docker container with the Nvidia kernel module and CUDA drivers installed | |
RUN apt-get update && apt-get install -y openssh-server | |
RUN mkdir /var/run/sshd | |
RUN adduser --disabled-password --gecos '' lu | |
RUN echo 'lu:rose321' | sudo chpasswd | |
RUN sudo adduser lu sudo |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
sudo apt-get install build-essential libncurses5-dev libxml2-dev makeself xorriso libxml2-utils |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
XM Hypervisor (3.7 r3) | |
Detected 3108.385MHz processor. | |
>> HWClocks [HPET clock (100000Khz)] | |
[CPU0] >> HwTimer [LApic timer (31597Khz)] | |
1 Partition(s) created | |
P0 ("Partition1":0:1) flags: [ SYSTEM ]: | |
[0x6000000:0x6000000 - 0x60fffff:0x60fffff] flags: 0x0 | |
RsvMem not used 4096:4096:0x306000 | |
RsvMem not used 4096:4096:0x307000 | |
newK: [0:0] 0xfc032004 curK: idle |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env xdg-open | |
[Desktop Entry] | |
Version=1.0 | |
Type=Application | |
Terminal=false | |
Exec=/usr/local/bin/genymotion | |
Name=GenyMotion | |
Icon=/usr/local/genymotion/icons/icon.png | |
Categories=Development |
OlderNewer