How to find out mount/partition a directory or file is on? (Linux Server) [closed]
df -P file/goes/here | tail -1 | cut -d’ ‘ -f 1
file
Loop through all the files with a specific extension
No fancy tricks needed: for i in *.java; do [ -f “$i” ] || break … done The guard ensures that if there are no matching files, the loop will exit without trying to process a non-existent file name *.java. In bash (or shells supporting something similar), you can use the nullglob option to simply … Read more
How to copy a file from one directory to another using PHP?
You could use the copy() function : // Will copy foo/test.php to bar/test.php // overwritting it if necessary copy(‘foo/test.php’, ‘bar/test.php’); Quoting a couple of relevant sentences from its manual page : Makes a copy of the file source to dest. If the destination file already exists, it will be overwritten.
How to find the extension of a file in C#?
Path.GetExtension string myFilePath = @”C:\MyFile.txt”; string ext = Path.GetExtension(myFilePath); // ext would be “.txt”
Android: Getting a file URI from a content URI?
Just use getContentResolver().openInputStream(uri) to get an InputStream from a URI. http://developer.android.com/reference/android/content/ContentResolver.html#openInputStream(android.net.Uri)
How can I extract the folder path from file path in Python?
You were almost there with your use of the split function. You just needed to join the strings, like follows. >>> import os >>> ‘\\’.join(existGDBPath.split(‘\\’)[0:-1]) ‘T:\\Data\\DBDesign’ Although, I would recommend using the os.path.dirname function to do this, you just need to pass the string, and it’ll do the work for you. Since, you seem to … Read more
How do I check if a given string is a legal/valid file name under Windows?
From MSDN’s “Naming a File or Directory,” here are the general conventions for what a legal file name is under Windows: You may use any character in the current code page (Unicode/ANSI above 127), except: < > : ” / \ | ? * Characters whose integer representations are 0-31 (less than ASCII space) Any … Read more
Get data from file input in JQuery
input file element: <input type=”file” id=”fileinput” /> get file : var myFile = $(‘#fileinput’).prop(‘files’);
Copying files from one directory to another in Java
For now this should solve your problem File source = new File(“H:\\work-temp\\file”); File dest = new File(“H:\\work-temp\\file2”); try { FileUtils.copyDirectory(source, dest); } catch (IOException e) { e.printStackTrace(); } FileUtils class from apache commons-io library, available since version 1.2. Using third party tools instead of writing all utilities by ourself seems to be a better idea. … Read more
Printing the last column of a line in a file
You don’t see anything, because of buffering. The output is shown, when there are enough lines or end of file is reached. tail -f means wait for more input, but there are no more lines in file and so the pipe to grep is never closed. If you omit -f from tail the output is … Read more