Server Fault
Saftever's user avatar
Saftever's user avatar
Saftever's user avatar
Saftever
  • Member for 5 years, 1 month
  • Last seen more than 3 years ago
Profile Activity
Stats
311
reputation
100k
reached
2
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
4
bronze badges
Top tags
21
Score
2
Posts
100
Posts %
21
Score
2
Posts
100
Posts %
21
Score
2
Posts
100
Posts %
13
Score
1
Posts
50
Posts %
13
Score
1
Posts
50
Posts %
8
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
13
Unzip from stdin to stdout - funzip, python
Oct 11, 2018
answer
8
Unzipping files that are flying in through a pipe
Oct 11, 2018
Top network posts
View all network posts
25
How to redirect output of wget as input to unzip?
24
How to unzip a piped zip file (from "wget -qO-")?
14
How to run a command before a Bash script exits?
11
Embed SVG in SVG?
7
Bluetooth mouse lags after upgrading to 18.10 Cosmic

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.