conference-app-2019
conference-app-2019 copied to clipboard
Useful tools 便利なツール
Please tell us useful tools for Android, Kotlin, review and others. Any information would be great! 知っている便利なツールを集めたらよさそうなので雑にコメントしていってください。日本語でもいいです。コメントを見て、こっちの方がいけてるよとかでも 🙆
Name
Description
- link
I want to know how to record screen gif. I am using scrcpy + LICEcap.
I want to know how to record screen gif.
Me either. I used to use AndroidTools but work for only jpg or mp4.
I use AndroidStudio to record a screen and generate mp4, then pass it to https://ezgif.com/video-to-gif to convert to gif.
I am using Screen record in virtual device of AndroidStudio This can be gif directly
![2019-01-08 21 10 34](https://user-images.githubusercontent.com/9943053/50830197-6dcbd400-138a-11e9-95e4-3317e18fad2d.png)
![](https://user-images.githubusercontent.com/8403570/50831267-a8833b80-138d-11e9-9601-7a039992a320.png)
I often use GIF Brewery to record screen gif.
My favorite features are...
Resize
![](https://user-images.githubusercontent.com/8403570/50830784-2d6d5580-138c-11e9-941b-274ecf102d89.png)
to paste to Github with appropriate size.
Slice
![](https://user-images.githubusercontent.com/8403570/50831157-59d5a180-138d-11e9-822d-4004b50fe438.png)
can specify when starts or ends.
Settings > Speed / Frames Per Second
![](https://user-images.githubusercontent.com/8403570/50830836-57bf1300-138c-11e9-88fd-7b5507a97154.png)
can change speed and FPS of animation.
Settings > Color count
![](https://user-images.githubusercontent.com/8403570/50830715-ebdcaa80-138b-11e9-9257-48e98df503b2.png)
to reduce file size.
To combine these features, this tool can make good quality GIF but with less file size simply 🎉
I also create a mp4 file using AS and then pass it to following script. https://gist.github.com/ecoopnet/6b79cefb74548c15d01c7c5119720a35
Truthfully, I want to use AndroidStudio's feature as @furusin @KeithYokoma @tarumzu commented because very simple. But I still hasn't been found the solution that convert to gif with desired file size and quality ( @KeithYokoma introduce ezgif.com but I prefer tools that run locally..) If anyone know how to do this, I want to know..
(As suggested @kwmt , I probably should use mpeg2gif with appropriate options. I'll try it and sorry for long comment 🙇)
I defined the following command in .bash_profile
before I got the findings in this place 😭
function create_gif(){ ffmpeg -i $1 -vf scale=320:-1 -r 20 output.gif; }
create_gif xxx.mp4
If we use ffmpeg palettegen
, we can create a beautiful gif. But It is a little hard 🤔
By the way, Are you devising something about code formatting?
I am using SaveActions. It can only format places changed by Git.
Flipperはどうでしょう https://fbflipper.com/
Getting Startedが誤ってたり、jcenterに最新が上がってなかったりしますのでご注意
I dont know that😍 Is that better than stetho?