Switch from migrant to sqlx-cli

.env

@@ -0,0 +1 @@
+DATABASE_URL=sqlite:healthpi.db

.github/workflows/rust.yml

@@ -21,10 +21,9 @@ jobs:
       with:
           components: clippy, rustfmt
     - name: Install dependencies
-      run: sudo apt install libdbus-1-dev pkg-config && cargo install migrant --features sqlite
+      run: sudo apt install libdbus-1-dev pkg-config && cargo install sqlx-cli
     - name: Run migration
-      working-directory: healthpi-db
-      run: migrant setup && migrant apply
+      run: sqlx database create && sqlx migrate run
     - name: Check formatting
       run: cargo fmt --check
     - name: Cache cargo dependencies

.gitignore

@@ -2,7 +2,6 @@
 /result
 
 devices.csv
-.env
 
 *.db
 *.db-wal

README.md

@@ -45,30 +45,21 @@ to be done one per device.
 
 ### Database setup
 
-HealthPi uses [migrant](https://crates.io/crates/migrant) to manage database migrations.
-At this point, you need to run the migrations manually. In order to do that,
-you will have to install `migrant` cli with sqlite enabled. This also requires
-`sqlite3` to be installed.
+HealthPi uses [sqlx-cli](https://github.com/launchbadge/sqlx/blob/main/sqlx-cli/README.md) 
+to manage database migrations. At this point, you need to run the migrations manually. 
+sqlx-cli is included in the nix development shell, so you can set up the database by
+running:
 
 ```
-sudo apt install sqlite3 libsqlite3-dev
-cargo install migrant --features sqlite
+nix develop
+sqlx database create
+sqlx migrate run
 ```
 
-After that you run the migration by simply executing:
+If you do not want to use nix, you can install sqlx-cli with
 
 ```
-cd healthpi-db; migrant setup; migrant apply; cd ..
-```
-
-You will also need to point healthpi-loader to the correct database by setting
-an appropriate environment variable. The easiest way to do that is to create
-a `.env` file with a `DATABASE_URL` variable set, pointing to an sqlite database
-file. By default, `migrant` creates the database in the project root in a file
-called `healthpi.db`. We suggest specifying an absolute path, like this:
-
-```
-echo DATABASE_URL=/home/pi/healthpi/healthpi.db > .env
+cargo install sqlx-cli
 ```
 
 Local development setup

nix/shell.nix

@@ -3,6 +3,6 @@ pkgs.mkShell {
   inputsFrom = [ (pkgs.callPackage ./default.nix { inherit rust; }) ];
 
   buildInputs = with pkgs; [
-    trunk
+    sqlx-cli
   ];
 }