mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-18 13:54:36 -05:00
Playing
This commit is contained in:
parent
cb09512780
commit
192acf0f78
2 changed files with 6 additions and 1 deletions
|
@ -14,6 +14,7 @@ addons:
|
|||
- libcairo2-dev
|
||||
- libstartup-notification0-dev
|
||||
- xvfb
|
||||
- gcov
|
||||
- discount
|
||||
- xdotool
|
||||
|
||||
|
@ -29,4 +30,8 @@ script:
|
|||
- make test
|
||||
# to re-enable if xdotool is allowed.
|
||||
- make test-x
|
||||
- gcov source/rofi.c
|
||||
- make distcheck
|
||||
|
||||
after_success:
|
||||
- bash <(curl -s https://codecov.io/bash)
|
||||
|
|
|
@ -520,7 +520,7 @@ void print_xresources_theme ( void )
|
|||
}
|
||||
printf ( "! ------------------------------------------------------------------------------\n" );
|
||||
printf ( "! ROFI Color theme\n" );
|
||||
printf ( "! User: %s\n", g_get_user_name());
|
||||
printf ( "! User: %s\n", g_get_user_name () );
|
||||
printf ( "! ------------------------------------------------------------------------------\n" );
|
||||
const char * namePrefix = "rofi";
|
||||
unsigned int entries = sizeof ( xrmOptions ) / sizeof ( *xrmOptions );
|
||||
|
|
Loading…
Reference in a new issue