Stuff I've done

I hope this will eventually be useful.

Posts

• Jun 26, 2022

  Restore flutterw

  flutterw uses a git submodule to sync the Flutter version. I ran an upgrade prematurely, that I had to restore. git restore doesn’t handle submodules.

  git submodule update 
  

• May 24, 2022

  Flutter vertical spacing

  /// Inserts a [SizedBox] of height [gap] between each [Widget] in [children]
  List<Widget> verticalSpacing(double gap, Iterable<Widget> children) {
    return children
        .expand((item) sync* {
          yield SizedBox(height: gap);
          yield item;
        })
        .skip(1)
        .toList();
  }
  

• Jan 25, 2022

  Git root commit

  Rebasing to change the first commit isn’t possible. I now insert a null root commit.

  git commit --allow-empty -m root
  

• Jan 21, 2022

  logcat --pid

  A few days ago I had to capture live logs from an Android app I couldn’t edit. There were no sensible tags to grep for. Luckily logcat supports filtering by process id!

  adb logcat --pid=$(adb shell pidof -s app.bundle.id)
  

• Jan 9, 2022

  Renaming Windows user folder

  A few years ago I switched from a local Windows account to signing in with my Microsoft account. The user folder name (C:\Users\<name>) has remained unchanged since then. Today I finally decided to change it. Here’s how:

• Jan 9, 2022

  Blogging with github pages

  I’m currently working through the github pages/jekyll guide. I’m impressed so far.

subscribe via RSS