Follow me
-
Recent Posts
calendar
September 2023 M T W T F S S 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 Recent Comments
- How to disable SSL verification for urlretrieve? – Peter's blog on python: certificate verified failed
- Anonymous on python argparse issues with the help argument (TypeError: %o format: a number is required, not dict)
- Wendy on gimp: how to make a transparent background
- Tanyo Ivanov on git : How to remove a big file wrongly committed
- Peter D. on How to use subprocess with PIPEs
Archives
Categories
Meta
Media RSS
Tag Archives: bash
Remove extension in a bash script
Imagine a bunch of files with extension fastq.dsrc, the following script will decompress the files by looping over the N files. One issue was to remove the extension in the script. See below the usage of // for filename in … Continue reading
Set the default printer under linux
If you want to set the default printer, you can use the command line interface and type: export PRINTER=printer-nameexport PRINTER=printer-name If you want to set the default printer permanently, and if your shell is bash (most common by default), you … Continue reading
scp does not work: wrong bashrc
When I tried to use scp to copy a file on a distant machine: scp -v filename username@xxx.xxx.xxx:/home/usernamescp -v filename username@xxx.xxx.xxx:/home/username it looked as if the SCP command works but the file is not copied. The interactive option (-v) does … Continue reading