Skip to content

Instantly share code, notes, and snippets.

View HylkeB's full-sized avatar

Hylke Bron HylkeB

4 followers · 4 following
  • Achmea
  • The Netherlands
  • 09:14 (UTC +02:00)
View GitHub Profile
@HylkeB
HylkeB / enable_android_certificate_revocation_check.kt
Last active April 19, 2026 22:24
Sample code of how to enable certificate revocation checking using a CertPathValidator. Required to make Certificate Transparency a suitable replacement for Certificate Pinning
package com.example
import android.net.http.X509TrustManagerExtensions
import android.os.Build
import androidx.annotation.RequiresApi
import okhttp3.Interceptor
import java.io.IOException
import java.security.KeyStore
import java.security.cert.CertPathValidator
import java.security.cert.CertPathValidatorException
@SheldonWangRJT
SheldonWangRJT / Convert .mov or .MP4 to .gif.md
Last active April 29, 2026 20:37
Convert Movie(.mov) file to Gif(.gif) file in one command line in Mac Terminal

This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.

Need

Convert .mov/.MP4 to .gif

Reason

As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.

This is not limited to developer, anyone has this need can use this method to convert the files.