I have an Dell Inspiron 7110 that has a Sandy bridge i7 and a discrete graphics card (GeForce 525M) from Nvidia. I want to be able to use my 23' display at home throungh hdmi but Intel integrated graphics card does not work with hdmi (VGA is not an option). I have tried bumblebee but it does not work. How could I use the hdmi port for my monitor. Using only the nvidia card with some driver is what I tought i could do but i don't want to give up composing because I use gnome-shell. Any options for doing this?