Skip to content

Instantly share code, notes, and snippets.

@rgs1
Created July 8, 2015 21:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rgs1/31e57c9bf2ddcb2c8018 to your computer and use it in GitHub Desktop.
Save rgs1/31e57c9bf2ddcb2c8018 to your computer and use it in GitHub Desktop.
~/src/tests/java (master) ✔ cat Test.java
import java.io.File;
class Test {
public static void main(String[] args) {
File etc = new File("/etc");
System.out.println("size: " + etc.length());
}
}
~/src/tests/java (master) ✔ javac Test.java
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=utf8
~/src/tests/java (master) ✔ java Test
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=utf8
size: 12288
~/src/tests/java (master) ✔ stat /etc
File: ‘/etc’
Size: 12288 Blocks: 24 IO Block: 4096 directory
Device: fd01h/64769d Inode: 3407873 Links: 163
Access: (0755/drwxr-xr-x) Uid: ( 0/ root) Gid: ( 0/ root)
Access: 2015-06-30 11:34:40.167768202 -0700
Modify: 2015-07-08 14:22:09.964532032 -0700
Change: 2015-07-08 14:22:09.964532032 -0700
Birth: -
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment