| // Copyright 2023 Google LLC. | |
| // SPDX-License-Identifier: Apache-2.0 | |
| import dagger.hilt.android.ViewModelLifecycle | |
| import dagger.hilt.android.scopes.ViewModelScoped | |
| import kotlinx.coroutines.CoroutineScope | |
| import kotlinx.coroutines.Dispatchers | |
| import kotlinx.coroutines.SupervisorJob | |
| import kotlinx.coroutines.cancel | |
| import javax.inject.Inject |
| <!-- | |
| Copyright 2018 Google LLC | |
| Licensed under the Apache License, Version 2.0 (the "License"); | |
| you may not use this file except in compliance with the License. | |
| You may obtain a copy of the License at | |
| https://www.apache.org/licenses/LICENSE-2.0 | |
| Unless required by applicable law or agreed to in writing, software |
| package main | |
| /* | |
| #include <stdlib.h> | |
| #include <mpv/client.h> | |
| #cgo pkg-config: mpv | |
| const char* INPUT_DEFAULT_BINDING = "input-default-bindings"; | |
| const char* INPUT_VO_KEYBOARD = "input-vo-keyboard"; | |
| const char* YES = "yes"; |
The purpose of this document if to provide a simple method of getting pulseaudio to work on Raspberry Pi with either Speaker pHAT or pHAT DAC.
Please see Software installer for Speaker pHAT or Setting up pHAT DAC for the more official guide / installer. The idea behind this guide is to provide you with a more manual alternative that lets you have a minimal setup.
| #!/bin/bash | |
| # Based on: https://medium.com/@colten_jackson/doing-the-gif-thing-on-debian-82b9760a8483 | |
| # Command line arguments: | |
| # -i <input file> (required) | |
| # -o <output file> (required) | |
| # -s <start time> | |
| # -t <duration in seconds> | |
| # -f <output FPS> |
| #!/bin/bash | |
| # Copyright 2021 Google LLC. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # This script provides a few extensions to pacmd, the tool used to reconfigure | |
| # a running PulseAudio sound server during runtime. | |
| # Added commands: | |
| # exists-card Checks if card exists (args: name) |
The purpose of this document is to explain how to deploy an Upspin server on a Debian or Ubuntu based machine - which can be a Raspberry Pi - and, optionally, use Google Drive to back the data.
Effectively, this will give you all the nifty advantages Upspin gives you in terms of file sharing without requiring a costly server.
| <!-- | |
| Copyright 2020 Google LLC | |
| Licensed under the Apache License, Version 2.0 (the "License"); | |
| you may not use this file except in compliance with the License. | |
| You may obtain a copy of the License at | |
| https://www.apache.org/licenses/LICENSE-2.0 | |
| Unless required by applicable law or agreed to in writing, software |
| /* | |
| Copyright 2020 Google LLC | |
| Licensed under the Apache License, Version 2.0 (the "License"); | |
| you may not use this file except in compliance with the License. | |
| You may obtain a copy of the License at | |
| https://www.apache.org/licenses/LICENSE-2.0 | |
| Unless required by applicable law or agreed to in writing, software |
| <!DOCTYPE html> | |
| <html lang="en"> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <title></title> | |
| <link rel="stylesheet" href="./style.css"> | |
| </head> | |
| <body> |